{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T13:52:53Z","timestamp":1758981173602},"reference-count":35,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1994,12,1]],"date-time":"1994-12-01T00:00:00Z","timestamp":786240000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":6803,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Computer and System Sciences"],"published-print":{"date-parts":[[1994,12]]},"DOI":"10.1016\/s0022-0000(05)80076-5","type":"journal-article","created":{"date-parts":[[2005,8,20]],"date-time":"2005-08-20T07:18:35Z","timestamp":1124522315000},"page":"683-717","source":"Crossref","is-referenced-by-count":14,"title":["The nested universal relation data model"],"prefix":"10.1016","volume":"49","author":[{"given":"Mark","family":"Levene","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Loizou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"No. 3","key":"10.1016\/S0022-0000(05)80076-5_bib1","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/0022-0000(86)90058-9","article-title":"Non first normal form relations: An algebra allowing data restructuring","volume":"33","author":"Abiteboul","year":"1986","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0022-0000(05)80076-5_bib2","series-title":"Proceedings, 6th ACM SIGACT-SIGMOD Symposium on Principles of Database Systems Philadelphia, PA","first-page":"101","article-title":"Updating databases in the weak instance approach","author":"Atzeni","year":"1989"},{"issue":"No. 1","key":"10.1016\/S0022-0000(05)80076-5_bib3","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0022-0000(90)90032-G","article-title":"A new interpretation for null values in the weak instance model","volume":"41","author":"Atzeni","year":"1990","journal-title":"J. Comput. System Sci."},{"issue":"No. 2","key":"10.1016\/S0022-0000(05)80076-5_bib4","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1016\/0022-0000(89)90005-6","article-title":"A calculus for complex objects","volume":"38","author":"Bancilhon","year":"1989","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0022-0000(05)80076-5_bib5","first-page":"25","article-title":"On the properties of join dependencies","volume":"Vol. 1","author":"Beeri","year":"1981"},{"issue":"No. 3","key":"10.1016\/S0022-0000(05)80076-5_bib6","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0022-0000(87)90019-5","article-title":"The Verso algebra or how to answer queries with fewer joins","volume":"35","author":"Bidoit","year":"1987","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0022-0000(05)80076-5_bib7","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0304-3975(91)90266-5","article-title":"Using powerdomains to generalize relational databases","volume":"91","author":"Buneman","year":"1991","journal-title":"Theoret. Comput. Sci."},{"issue":"No. 4","key":"10.1016\/S0022-0000(05)80076-5_bib8","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1145\/320107.320109","article-title":"Extending the database relational model to capture more meaning","volume":"4","author":"Codd","year":"1979","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/S0022-0000(05)80076-5_bib9","series-title":"Introduction to Lattices and Order","author":"Davey","year":"1990"},{"issue":"No. 3","key":"10.1016\/S0022-0000(05)80076-5_bib10","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1145\/319732.319735","article-title":"A simplified universal relation assumption and its properties","volume":"7","author":"Fagin","year":"1982","journal-title":"ACM Trans. Database Systems"},{"issue":"No. 3","key":"10.1016\/S0022-0000(05)80076-5_bib11","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1145\/2402.322390","article-title":"Degrees of acyclicity for hypergraphs and relational database systems","volume":"30","author":"Fagin","year":"1983","journal-title":"J. Assoc. Comput. Mach."},{"issue":"No. 1","key":"10.1016\/S0022-0000(05)80076-5_bib12","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0022-0000(84)90079-5","article-title":"Independent database schemas","volume":"28","author":"Graham","year":"1984","journal-title":"J. Comput. System Sci."},{"issue":"No. 1","key":"10.1016\/S0022-0000(05)80076-5_bib13","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/4904.4798","article-title":"Notions of dependency satisfaction","volume":"33","author":"Graham","year":"1986","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/S0022-0000(05)80076-5_bib14","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/0168-0072(86)90055-2","article-title":"Fixed-point extensions of first-order logic","volume":"32","author":"Gurevich","year":"1986","journal-title":"Ann. Pure Appl. Logic"},{"issue":"No. 3","key":"10.1016\/S0022-0000(05)80076-5_bib15","doi-asserted-by":"crossref","first-page":"668","DOI":"10.1145\/322326.322330","article-title":"Testing satisfaction of functional dependencies","volume":"29","author":"Honeyman","year":"1982","journal-title":"J. Assoc. Comput. Mach."},{"issue":"No. 4","key":"10.1016\/S0022-0000(05)80076-5_bib16","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1145\/1634.1886","article-title":"Incomplete information in relational databases","volume":"31","author":"Imielinski","year":"1984","journal-title":"J. Assoc. Comput. Mach."},{"issue":"No. 3","key":"10.1016\/S0022-0000(05)80076-5_bib17","doi-asserted-by":"crossref","first-page":"414","DOI":"10.1145\/155271.155275","article-title":"Semantics for null extended nested relations","volume":"18","author":"Levene","year":"1993","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/S0022-0000(05)80076-5_bib18","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1080\/00207169108804002","article-title":"A domain theoretic characterisation of the universal relation","volume":"40","author":"Levene","year":"1991","journal-title":"Internat. J. Comput. Math."},{"key":"10.1016\/S0022-0000(05)80076-5_bib19","first-page":"303","article-title":"A fully precise null extended nested relational algebra","volume":"19","author":"Levene","year":"1993","journal-title":"Fund. Inform."},{"key":"10.1016\/S0022-0000(05)80076-5_bib20","article-title":"The Nested Universal Relation Database Model","volume":"Vol. 595","author":"Levene","year":"1992"},{"key":"10.1016\/S0022-0000(05)80076-5_bib21","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/BF02074878","article-title":"Inferring null join dependencies in relational databases","volume":"32","author":"Levene","year":"1992","journal-title":"BIT"},{"issue":"No. 2","key":"10.1016\/S0022-0000(05)80076-5_bib22","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1145\/322307.322311","article-title":"On the equivalence of database models","volume":"30","author":"Lien","year":"1982","journal-title":"J. Assoc. Comput. Mach."},{"issue":"No. 4","key":"10.1016\/S0022-0000(05)80076-5_bib23","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1145\/320107.320115","article-title":"Testing implication of data dependencies","volume":"4","author":"Maier","year":"1979","journal-title":"ACM Trans. Database Systems"},{"issue":"No. 2","key":"10.1016\/S0022-0000(05)80076-5_bib24","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1145\/329.318580","article-title":"On the foundations of the universal relation model","volume":"9","author":"Maier","year":"1984","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/S0022-0000(05)80076-5_bib25","first-page":"213","article-title":"Window functions","volume":"Vol. 3","author":"Maier","year":"1986"},{"issue":"No. 2","key":"10.1016\/S0022-0000(05)80076-5_bib26","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1145\/329.318579","article-title":"Database states and their tableaux","volume":"9","author":"Mendelzon","year":"1984","journal-title":"ACM Trans. Database Systems"},{"issue":"No. 2","key":"10.1016\/S0022-0000(05)80076-5_bib27","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1145\/319983.319988","article-title":"A characterization of globally consistent databases and their correct access paths","volume":"8","author":"Sagiv","year":"1983","journal-title":"ACM Trans. Database Systems"},{"issue":"No. 2","key":"10.1016\/S0022-0000(05)80076-5_bib28","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0306-4379(86)90003-7","article-title":"The relational model with relation-valued attributes","volume":"11","author":"Schek","year":"1986","journal-title":"Inform. Systems"},{"key":"10.1016\/S0022-0000(05)80076-5_bib29","series-title":"Denotational Semantics: A Methodology for Language Development","author":"Schmidt","year":"1986"},{"key":"10.1016\/S0022-0000(05)80076-5_bib30","series-title":"Proceedings, 4th ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Portland, OR","first-page":"76","article-title":"Relaxing the universal relation scheme assumption","author":"Stein","year":"1985"},{"key":"10.1016\/S0022-0000(05)80076-5_bib31","first-page":"269","article-title":"Nested relational structures","volume":"Vol. 3","author":"Thomas","year":"1986"},{"key":"10.1016\/S0022-0000(05)80076-5_bib32","series-title":"Proceedings, 9th IFIP World Computer Congress","first-page":"243","article-title":"Universal relation interfaces for database systems","author":"Ullman","year":"1983"},{"key":"10.1016\/S0022-0000(05)80076-5_bib33","volume":"Vol. 1","author":"Ullman","year":"1988"},{"issue":"No. 1","key":"10.1016\/S0022-0000(05)80076-5_bib34","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0022-0000(88)90021-9","article-title":"Multilevel nested relational structures","volume":"36","author":"Van Gucht","year":"1988","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0022-0000(05)80076-5_bib35","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/52.2015","article-title":"The universal-relation data model for logical independence","volume":"5","author":"Vardi","year":"1988","journal-title":"IEEE Software"}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000005800765?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000005800765?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,22]],"date-time":"2019-01-22T17:27:02Z","timestamp":1548178022000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0022000005800765"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,12]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,12]]}},"alternative-id":["S0022000005800765"],"URL":"https:\/\/doi.org\/10.1016\/s0022-0000(05)80076-5","relation":{},"ISSN":["0022-0000"],"issn-type":[{"value":"0022-0000","type":"print"}],"subject":[],"published":{"date-parts":[[1994,12]]}}}