{"id":"https://openalex.org/W2045224104","doi":"https://doi.org/10.1145/1055558.1055603","title":"Multi-valued dependencies in the presence of lists","display_name":"Multi-valued dependencies in the presence of lists","publication_year":2004,"publication_date":"2004-06-14","ids":{"openalex":"https://openalex.org/W2045224104","doi":"https://doi.org/10.1145/1055558.1055603","mag":"2045224104"},"language":"en","primary_location":{"id":"doi:10.1145/1055558.1055603","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1055558.1055603","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103092450","display_name":"Sven Hartmann","orcid":"https://orcid.org/0000-0003-4565-9645"},"institutions":[{"id":"https://openalex.org/I51158804","display_name":"Massey University","ror":"https://ror.org/052czxv31","country_code":"NZ","type":"education","lineage":["https://openalex.org/I51158804"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Sven Hartmann","raw_affiliation_strings":["Massey University, Palmerston North, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Massey University, Palmerston North, New Zealand","institution_ids":["https://openalex.org/I51158804"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069839542","display_name":"Sebastian Link","orcid":"https://orcid.org/0000-0002-1816-2863"},"institutions":[{"id":"https://openalex.org/I51158804","display_name":"Massey University","ror":"https://ror.org/052czxv31","country_code":"NZ","type":"education","lineage":["https://openalex.org/I51158804"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Sebastian Link","raw_affiliation_strings":["Massey University, Palmerston North, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Massey University, Palmerston North, New Zealand","institution_ids":["https://openalex.org/I51158804"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.7429,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.93842865,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"11","issue":null,"first_page":"330","last_page":"341"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7390428185462952},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.646059513092041},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5746926665306091},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5571463108062744},{"id":"https://openalex.org/keywords/relational-algebra","display_name":"Relational algebra","score":0.5432454943656921},{"id":"https://openalex.org/keywords/relational-model","display_name":"Relational model","score":0.5361393094062805},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5239075422286987},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5196225047111511},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5016310214996338},{"id":"https://openalex.org/keywords/relational-calculus","display_name":"Relational calculus","score":0.49618086218833923},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4667532742023468},{"id":"https://openalex.org/keywords/data-integrity","display_name":"Data integrity","score":0.45564398169517517},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.2995278239250183},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2063550055027008},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20427030324935913},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.15753018856048584}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7390428185462952},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.646059513092041},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5746926665306091},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5571463108062744},{"id":"https://openalex.org/C95916125","wikidata":"https://www.wikidata.org/wiki/Q840540","display_name":"Relational algebra","level":3,"score":0.5432454943656921},{"id":"https://openalex.org/C40207289","wikidata":"https://www.wikidata.org/wiki/Q755662","display_name":"Relational model","level":3,"score":0.5361393094062805},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5239075422286987},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5196225047111511},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5016310214996338},{"id":"https://openalex.org/C99436015","wikidata":"https://www.wikidata.org/wiki/Q1722436","display_name":"Relational calculus","level":4,"score":0.49618086218833923},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4667532742023468},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.45564398169517517},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2995278239250183},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2063550055027008},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20427030324935913},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.15753018856048584},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1055558.1055603","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1055558.1055603","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.102.9907","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.9907","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.sigmod.org/pods/proc04/pdf/P-33.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":58,"referenced_works":["https://openalex.org/W172445582","https://openalex.org/W1487877548","https://openalex.org/W1491485151","https://openalex.org/W1495302482","https://openalex.org/W1507391885","https://openalex.org/W1526843800","https://openalex.org/W1529279134","https://openalex.org/W1532080796","https://openalex.org/W1532823196","https://openalex.org/W1533680255","https://openalex.org/W1535627680","https://openalex.org/W1551066637","https://openalex.org/W1558832481","https://openalex.org/W1572028520","https://openalex.org/W1579126536","https://openalex.org/W1582870114","https://openalex.org/W1585806150","https://openalex.org/W1590607611","https://openalex.org/W1657826747","https://openalex.org/W1837772207","https://openalex.org/W1887796988","https://openalex.org/W1968137129","https://openalex.org/W1971206510","https://openalex.org/W1971475250","https://openalex.org/W1982169430","https://openalex.org/W1988902465","https://openalex.org/W2000773957","https://openalex.org/W2007096790","https://openalex.org/W2008296878","https://openalex.org/W2028705450","https://openalex.org/W2039445786","https://openalex.org/W2041601261","https://openalex.org/W2047405687","https://openalex.org/W2047776098","https://openalex.org/W2052228631","https://openalex.org/W2053506781","https://openalex.org/W2053678463","https://openalex.org/W2054735497","https://openalex.org/W2056859949","https://openalex.org/W2057852703","https://openalex.org/W2060849841","https://openalex.org/W2063391368","https://openalex.org/W2072779203","https://openalex.org/W2083752106","https://openalex.org/W2089176231","https://openalex.org/W2089210350","https://openalex.org/W2105286724","https://openalex.org/W2107639246","https://openalex.org/W2110810394","https://openalex.org/W2125223317","https://openalex.org/W2135105491","https://openalex.org/W2138277932","https://openalex.org/W2140037779","https://openalex.org/W2144192824","https://openalex.org/W2296139130","https://openalex.org/W2945526390","https://openalex.org/W4247092720","https://openalex.org/W6607827930"],"related_works":["https://openalex.org/W2085988990","https://openalex.org/W2056340443","https://openalex.org/W2005835473","https://openalex.org/W2378275298","https://openalex.org/W60748262","https://openalex.org/W3174970460","https://openalex.org/W2056147406","https://openalex.org/W2376710457","https://openalex.org/W206482712","https://openalex.org/W2156787493"],"abstract_inverted_index":{"Multi-valued":[0],"depdendencies":[1],"(MVDs)":[2],"are":[3],"an":[4,31,79],"important":[5],"class":[6],"of":[7,42,44,52,63,73,95,100,112,119,124,128,154,162,166,171,184],"relational":[8,67,144,164],"constraints.":[9],"We":[10],"axiomatise":[11],"MVDs":[12,64,120,167],"in":[13,121,142],"data":[14,26,68,145],"models":[15,27],"that":[16,78],"support":[17],"nested":[18,36,47],"list":[19,130],"types.":[20],"In":[21],"order":[22],"to":[23,59,70,105,168,174],"capture":[24],"different":[25],"at":[28],"a":[29,53,107,134],"time,":[30],"abstract":[32],"approach":[33],"based":[34],"on":[35],"attributes":[37],"is":[38,76,81,139,158],"taken.":[39],"The":[40,97,126,160],"set":[41,111],"subattributes":[43],"some":[45,84],"fixed":[46],"attribute":[48],"carries":[49],"the":[50,66,71,101,116,122,129,143,152,155,163,169,182],"structure":[51],"co-Heyting":[54],"algebra.":[55],"This":[56],"enables":[57],"us":[58],"generalise":[60],"significant":[61],"features":[62],"from":[65],"model":[69],"presence":[72,127,170],"lists.":[74,125],"It":[75],"shown":[77],"MVD":[80],"satisfied":[82],"by":[83],"instance":[85,89],"exactly":[86],"when":[87,151],"this":[88],"can":[90],"be":[91],"decomposed":[92],"without":[93],"loss":[94],"information.":[96],"full":[98],"power":[99],"algebraic":[102],"framework":[103],"allows":[104,173],"provide":[106],"sound":[108],"and":[109,179],"complete":[110],"inference":[113,136,156],"rules":[114,157],"for":[115,133],"finite":[117],"implication":[118],"context":[123],"operator":[131],"calls":[132],"new":[135],"rule":[137],"which":[138],"not":[140],"required":[141],"model.":[146],"Further":[147],"differences":[148],"become":[149],"apparant":[150],"minimality":[153],"investigated.":[159],"extension":[161],"theory":[165],"lists":[172],"specify":[175],"more":[176],"real-world":[177],"constraints":[178],"increases":[180],"therefore":[181],"number":[183],"application":[185],"domains.":[186]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}