{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:46:19Z","timestamp":1778298379341,"version":"3.51.4"},"reference-count":23,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1998,10,1]],"date-time":"1998-10-01T00:00:00Z","timestamp":907200000000},"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":5403,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1998,10]]},"DOI":"10.1016\/s0304-3975(98)80029-7","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T19:40:02Z","timestamp":1049744402000},"page":"283-300","source":"Crossref","is-referenced-by-count":61,"title":["Axiomatisation of functional dependencies in incomplete relations"],"prefix":"10.1016","volume":"206","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":[{"key":"10.1016\/S0304-3975(98)80029-7_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\/S0304-3975(98)80029-7_BIB2","series-title":"Proc. IFIP Congress","first-page":"580","article-title":"Dependency structures of data base relationships","author":"Armstrong","year":"1974"},{"key":"10.1016\/S0304-3975(98)80029-7_BIB3","series-title":"Relational Database Theory","author":"Atzeni","year":"1993"},{"key":"10.1016\/S0304-3975(98)80029-7_BIB4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0019-9958(86)80022-5","article-title":"Functional dependencies and constraints on null values in database relations","volume":"70","author":"Atzeni","year":"1986","journal-title":"Inform. and Control"},{"key":"10.1016\/S0304-3975(98)80029-7_BIB5","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/320064.320066","article-title":"Computational problems related to the design of normal form relational schemas","volume":"4","author":"Beeri","year":"1979","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/S0304-3975(98)80029-7_BIB6","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/2422.322414","article-title":"On the structure of Armstrong relations for functional dependencies","volume":"31","author":"Beeri","year":"1984","journal-title":"J. ACM"},{"key":"10.1016\/S0304-3975(98)80029-7_BIB7","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0022-0000(84)90075-8","article-title":"Inclusion dependencies and their interaction with functional dependencies","volume":"28","author":"Casanova","year":"1984","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0304-3975(98)80029-7_BIB8","series-title":"Modal Logic: An Introduction","author":"Chellas","year":"1980"},{"key":"10.1016\/S0304-3975(98)80029-7_BIB9","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\/S0304-3975(98)80029-7_BIB10","author":"Date","year":"1993"},{"key":"10.1016\/S0304-3975(98)80029-7_BIB11","series-title":"Introduction to Lattices and Order","author":"Davey","year":"1990"},{"key":"10.1016\/S0304-3975(98)80029-7_BIB12","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0898-1221(93)90033-R","article-title":"Algorithms for generating an Armstrong relation and inferring functional dependencies in the relational datamodel","volume":"6","author":"Demetrovics","year":"1993","journal-title":"Comput. Math. Appl."},{"key":"10.1016\/S0304-3975(98)80029-7_BIB13","article-title":"Armstrong databases","author":"Fagin","year":"1982"},{"key":"10.1016\/S0304-3975(98)80029-7_BIB14","series-title":"Computers and Intractability: A Guide to the Theory of NP-completeness","author":"Garey","year":"1979"},{"key":"10.1016\/S0304-3975(98)80029-7_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. ACM"},{"key":"10.1016\/S0304-3975(98)80029-7_BIB16","first-page":"29","article-title":"Incomplete information in logical databases","volume":"12","author":"Imielinski","year":"1989","journal-title":"IEEE Data Eng."},{"key":"10.1016\/S0304-3975(98)80029-7_BIB17","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1080\/00207169508804360","article-title":"A correspondence between variable relations and three-valued propositional logic","volume":"55","author":"Levene","year":"1995","journal-title":"Internat. J. Comput. Math."},{"key":"10.1016\/S0304-3975(98)80029-7_BIB18","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1006\/inco.1997.2631","article-title":"Inclusion dependencies in relations which may be incomplete","volume":"136","author":"Levene","year":"1997","journal-title":"Information and Computation"},{"key":"10.1016\/S0304-3975(98)80029-7_BIB19","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1145\/322307.322311","article-title":"On the equivalence of database models","volume":"2","author":"Lien","year":"1982","journal-title":"J. ACM"},{"key":"10.1016\/S0304-3975(98)80029-7_BIB20","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1145\/320107.320115","article-title":"Testing implications of data dependencies","volume":"4","author":"Maier","year":"1979","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/S0304-3975(98)80029-7_BIB21","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1016\/0022-0000(86)90015-2","article-title":"Design by example: an application of Armstrong relations","volume":"33","author":"Mannila","year":"1986","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0304-3975(98)80029-7_BIB22","series-title":"Many-Valued Logic","author":"Rescher","year":"1969"},{"key":"10.1016\/S0304-3975(98)80029-7_BIB23","volume":"vol. I","author":"Ullman","year":"1988"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397598800297?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397598800297?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T07:27:01Z","timestamp":1556522821000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397598800297"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,10]]},"references-count":23,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,10]]}},"alternative-id":["S0304397598800297"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(98)80029-7","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1998,10]]}}}