{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:05:40Z","timestamp":1747548340560},"reference-count":50,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1994,2,1]],"date-time":"1994-02-01T00:00:00Z","timestamp":760060800000},"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":7106,"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,2]]},"DOI":"10.1016\/s0022-0000(05)80021-2","type":"journal-article","created":{"date-parts":[[2005,8,20]],"date-time":"2005-08-20T11:18:35Z","timestamp":1124536715000},"page":"9-57","source":"Crossref","is-referenced-by-count":13,"title":["Unique complements and decompositions of database schemata"],"prefix":"10.1016","volume":"48","author":[{"given":"Stephen J.","family":"Hegner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0022-0000(05)80021-2_bib1","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1145\/320083.320091","article-title":"The theory of joins in relational databases","volume":"4","author":"Aho","year":"1979","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/S0022-0000(05)80021-2_bib2","series-title":"Relational Database Technology","author":"Alagi\u0107","year":"1986"},{"key":"10.1016\/S0022-0000(05)80021-2_bib3","series-title":"Object-Oriented Database Programming","author":"Alagi\u0107","year":"1989"},{"key":"10.1016\/S0022-0000(05)80021-2_bib4","series-title":"Proceedings, Seventh International Conference on Very Large Data Bases","first-page":"398","article-title":"Independent components of databases","author":"Bancilhon","year":"1981"},{"key":"10.1016\/S0022-0000(05)80021-2_bib5","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1145\/319628.319634","article-title":"Update semantics of relational views","volume":"6","author":"Bancilhon","year":"1981","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/S0022-0000(05)80021-2_bib6","series-title":"Proceedings, Fourth International Conference on Very Large Data Bases","first-page":"113","article-title":"A sophisticate's introduction to database normalization theory","author":"Beeri","year":"1978"},{"key":"10.1016\/S0022-0000(05)80021-2_bib7","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1145\/2402.322389","article-title":"On the desirability of acyclic database schemes","volume":"30","author":"Beeri","year":"1983","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/S0022-0000(05)80021-2_bib8","series-title":"Lattice Theory","author":"Birkhoff","year":"1967"},{"key":"10.1016\/S0022-0000(05)80021-2_bib9","first-page":"299","article-title":"A formal approach to null values in database relations","volume":"Vol. 1","author":"Biskup","year":"1981"},{"key":"10.1016\/S0022-0000(05)80021-2_bib10","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1109\/69.43410","article-title":"What you always wanted to know about Datalog (and never dared to ask)","volume":"1","author":"Ceri","year":"1989","journal-title":"IEEE Trans. Knowledge Data Eng."},{"key":"10.1016\/S0022-0000(05)80021-2_bib11","series-title":"Logic Programming and Databases","author":"Ceri","year":"1990"},{"key":"10.1016\/S0022-0000(05)80021-2_bib12","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1137\/0216055","article-title":"Independent and separable database schemes","volume":"16","author":"Chan","year":"1987","journal-title":"SIAM J. Comput."},{"key":"10.1016\/S0022-0000(05)80021-2_bib13","series-title":"Data Base Systems","first-page":"34","article-title":"Further normalization of the data base relational model","author":"Codd","year":"1972"},{"key":"10.1016\/S0022-0000(05)80021-2_bib14","first-page":"123","article-title":"Horizontal decompositions for handling exceptions to functional dependencies","volume":"Vol. 2","author":"De Bra","year":"1984"},{"key":"10.1016\/S0022-0000(05)80021-2_bib15","series-title":"A Mathematical Introduction to Logic","author":"Enderton","year":"1972"},{"key":"10.1016\/S0022-0000(05)80021-2_bib16","series-title":"Proceedings ACM-SIGMOD 1979 International Conference on Management of Data","first-page":"153","article-title":"Normal forms and relational database operators","author":"Fagin","year":"1979"},{"key":"10.1016\/S0022-0000(05)80021-2_bib17","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1145\/319587.319592","article-title":"A normal form for relational databases that is based on domains and keys","volume":"6","author":"Fagin","year":"1981","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/S0022-0000(05)80021-2_bib18","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"},{"key":"10.1016\/S0022-0000(05)80021-2_bib19","series-title":"Mathematics of Information Processing","first-page":"19","article-title":"The theory of data dependencies\u2014A survey","author":"Fagin","year":"1986"},{"key":"10.1016\/S0022-0000(05)80021-2_bib20","series-title":"Logic and Data Bases","year":"1978"},{"key":"10.1016\/S0022-0000(05)80021-2_bib21","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","article-title":"Logic and databases: a deductive appoach","volume":"16","author":"Gallaire","year":"1984","journal-title":"ACM Comput. Surveys"},{"key":"10.1016\/S0022-0000(05)80021-2_bib22","series-title":"Logic for Computer Science","author":"Gallier","year":"1986"},{"key":"10.1016\/S0022-0000(05)80021-2_bib23","article-title":"The Problem of Incomplete Information in Relational Databases","author":"Grahne","year":"1989"},{"key":"10.1016\/S0022-0000(05)80021-2_bib24","series-title":"Universal Algebra","author":"Gr\u00e4tzer","year":"1968"},{"key":"10.1016\/S0022-0000(05)80021-2_bib25","series-title":"General Lattice Theory","author":"Gr\u00e4tzer","year":"1978"},{"key":"10.1016\/S0022-0000(05)80021-2_bib26","series-title":"Prodeedings, Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems","first-page":"400","article-title":"Algebraic aspects of relational database decomposition","author":"Hegner","year":"1984"},{"key":"10.1016\/S0022-0000(05)80021-2_bib27","series-title":"Proceedings, Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems","first-page":"163","article-title":"Canonical view update support through Boolean algebras of components","author":"Hegner","year":"1984"},{"key":"10.1016\/S0022-0000(05)80021-2_bib28","series-title":"Proceedings, Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","first-page":"146","article-title":"Specification and implementation of programs for updating incomplete information databases","author":"Hegner","year":"1987"},{"key":"10.1016\/S0022-0000(05)80021-2_bib29","series-title":"Proceedings, Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Princples of Database Systems","first-page":"174","article-title":"Decomposition of relational schemata into components defined by both projection and restriction","author":"Hegner","year":"1988"},{"key":"10.1016\/S0022-0000(05)80021-2_bib30","series-title":"ICDT'90, Third International Conference on Database Theory","first-page":"422","article-title":"Foundations of canonical update support for closed database views","author":"Hegner","year":"1990"},{"key":"10.1016\/S0022-0000(05)80021-2_bib31","first-page":"496","article-title":"Some open problems on view axiomatization","volume":"40","author":"Hegner","year":"1990","journal-title":"Bull. EATCS"},{"key":"10.1016\/S0022-0000(05)80021-2_bib32","series-title":"MFDBS91, Third Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems","first-page":"143","article-title":"Pairwise-definable subdirect decompositions of general database schemata","author":"Hegner","year":"1991"},{"key":"10.1016\/S0022-0000(05)80021-2_bib33","series-title":"Category Theory","author":"Herrlich","year":"1973"},{"key":"10.1016\/S0022-0000(05)80021-2_bib34","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1145\/62.2162","article-title":"Finitely specifiable implicational dependency families","volume":"31","author":"Hull","year":"1984","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/S0022-0000(05)80021-2_bib35","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1145\/1634.1886","article-title":"Incomplete information in relational databases","volume":"31","author":"Imieli\u0144ski","year":"1984","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/S0022-0000(05)80021-2_bib36","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1145\/319702.319730","article-title":"On interpretations of relational languages and solutions to the implied constraint problem","volume":"7","author":"Jacobs","year":"1982","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/S0022-0000(05)80021-2_bib37","doi-asserted-by":"crossref","unstructured":"A. M. Keller and J. D. Ullman, On complementary and independent mappings on databases, in \u201cProceedings, 1984 Annual ACM-SIGMOD Conference,\u201d pp. 143\u2013148.","DOI":"10.21236\/ADA145557"},{"key":"10.1016\/S0022-0000(05)80021-2_bib38","series-title":"Foundations of Data Organization and Algorithms, 3rd International Conference, FODO 1989, Paris, France, June 1989, Proceedings","first-page":"439","article-title":"A domain-theoretic approach to incomplete information in nested relational databases","author":"Levene","year":"1989"},{"key":"10.1016\/S0022-0000(05)80021-2_bib39","series-title":"The Theory of Relational Databases","author":"Maier","year":"1983"},{"key":"10.1016\/S0022-0000(05)80021-2_bib40","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1016\/0022-0000(87)90027-4","article-title":"Why Horn formulas matter in computer science: Initial structures and generic examples","volume":"34","author":"Makowsky","year":"1987","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0022-0000(05)80021-2_bib41","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/BF00289111","article-title":"On the expressive power of data dependencies","volume":"23","author":"Makowsky","year":"1986","journal-title":"Acta Inform."},{"key":"10.1016\/S0022-0000(05)80021-2_bib42","series-title":"Foundations of Deductive Databases and Logic Programming","author":"Minker","year":"1987"},{"key":"10.1016\/S0022-0000(05)80021-2_bib43","series-title":"Mathematical Logic","author":"Monk","year":"1976"},{"key":"10.1016\/S0022-0000(05)80021-2_bib44","series-title":"The structure of the Relational Database Model","author":"Paredeans","year":"1989"},{"key":"10.1016\/S0022-0000(05)80021-2_bib45","series-title":"On Conceptual Modelling","first-page":"191","article-title":"Towards a logical reconstruction of relational database theory","author":"Reiter","year":"1984"},{"key":"10.1016\/S0022-0000(05)80021-2_bib46","series-title":"Proceeding, Fourth International Conference on Very Large Data Bases","first-page":"156","article-title":"A normal form for abstract syntax","author":"Smith","year":"1978"},{"key":"10.1016\/S0022-0000(05)80021-2_bib47","volume":"Vol. I","author":"Ullman","year":"1988"},{"key":"10.1016\/S0022-0000(05)80021-2_bib48","series-title":"Proceedings, 23rd Annual Symposium on Foundations of Computer Science","first-page":"176","article-title":"On decompositions of relational databases","author":"Vardi","year":"1982"},{"key":"10.1016\/S0022-0000(05)80021-2_bib49","article-title":"Updating Databases with Incomplete Information","author":"Winslett","year":"1987"},{"key":"10.1016\/S0022-0000(05)80021-2_bib50","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/0022-0000(84)90080-1","article-title":"Database relations with null values","volume":"28","author":"Zaniolo","year":"1984","journal-title":"J. Comput. System Sci."}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000005800212?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000005800212?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T16:40:07Z","timestamp":1552840807000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0022000005800212"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,2]]},"references-count":50,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,2]]}},"alternative-id":["S0022000005800212"],"URL":"https:\/\/doi.org\/10.1016\/s0022-0000(05)80021-2","relation":{},"ISSN":["0022-0000"],"issn-type":[{"value":"0022-0000","type":"print"}],"subject":[],"published":{"date-parts":[[1994,2]]}}}