{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T16:51:51Z","timestamp":1773939111014,"version":"3.50.1"},"reference-count":31,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1983,1,1]],"date-time":"1983-01-01T00:00:00Z","timestamp":410227200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[1983,1]]},"DOI":"10.1016\/0020-0190(83)90005-4","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:11:21Z","timestamp":1027656681000},"page":"13-19","source":"Crossref","is-referenced-by-count":33,"title":["Armstrong databases for functional and inclusion dependencies"],"prefix":"10.1016","volume":"16","author":[{"given":"Ronald","family":"Fagin","sequence":"first","affiliation":[]},{"given":"Moshe Y.","family":"Vardi","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/0020-0190(83)90005-4_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. on Database Systems"},{"key":"10.1016\/0020-0190(83)90005-4_BIB2","first-page":"580","article-title":"Dependency structures of database relationships","volume":"74","author":"Armstrong","year":"1974"},{"key":"10.1016\/0020-0190(83)90005-4_BIB3","author":"Beeri","year":"1979","journal-title":"Personal communication"},{"key":"10.1016\/0020-0190(83)90005-4_BIB4","article-title":"On the structure of Armstrong relations for functional dependencies","author":"Beeri","year":"1980","journal-title":"IBM Res. Rept. RJ 2901"},{"key":"10.1016\/0020-0190(83)90005-4_BIB5","first-page":"47","article-title":"A complete axiomatization for functional and multivalued dependencies in database relations","author":"Beeri","year":"1977"},{"key":"10.1016\/0020-0190(83)90005-4_BIB6","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1145\/588111.588121","article-title":"Compatible attributes in a universal relation","author":"Beeri","year":"1982","journal-title":"Proc. 1st ACM SIGACT-SIGMOD Conf. on Principles of Database Systems"},{"key":"10.1016\/0020-0190(83)90005-4_BIB7","first-page":"73","article-title":"The implication problem for data dependencies","author":"Beeri","year":"1980"},{"key":"10.1016\/0020-0190(83)90005-4_BIB8","first-page":"245","article-title":"What does Boyce-Codd normal form do?","author":"Bernstein","year":"1980","journal-title":"Proc. 6th Internat. Conf. on Very Large Databases"},{"key":"10.1016\/0020-0190(83)90005-4_BIB9","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/588111.588141","article-title":"Inclusion dependencies and their interaction with functional dependencies","author":"Casanova","year":"1982","journal-title":"Proc. 1st ACM SIGACT-SIGMOD Conf. on Principles of Database Systems"},{"issue":"1","key":"10.1016\/0020-0190(83)90005-4_BIB10","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","article-title":"The entity-relationship model - toward a unified view of data","volume":"1","author":"Chen","year":"1976","journal-title":"ACM Trans. on Database Systems"},{"key":"10.1016\/0020-0190(83)90005-4_BIB11","first-page":"33","article-title":"Further normalization of the data base relational model","author":"Codd","year":"1971"},{"issue":"3","key":"10.1016\/0020-0190(83)90005-4_BIB12","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1145\/320557.320571","article-title":"Multivalued dependencies and a new normal form for relational databases","volume":"2","author":"Fagin","year":"1977","journal-title":"ACM Trans. on Database Systems"},{"key":"10.1016\/0020-0190(83)90005-4_BIB13","first-page":"123","article-title":"Horn clauses and database dependencies","author":"Fagin","year":"1980","journal-title":"Proc. 1980 ACM SIGACT Symp. on Theory of Computing"},{"key":"10.1016\/0020-0190(83)90005-4_BIB14","article-title":"Armstrong databases","author":"Fagin","year":"1982","journal-title":"Proc. 7th IBM Symp. on Mathematical Foundations of Computer Science"},{"key":"10.1016\/0020-0190(83)90005-4_BIB15","doi-asserted-by":"crossref","unstructured":"R. Fagin, D. Maier, J.D. Ullman and M. Yannakakis, Tools for template dependencies, SIAM J. Comput., to appear.","DOI":"10.1137\/0212003"},{"key":"10.1016\/0020-0190(83)90005-4_BIB16","author":"Ginsburg","year":"1981"},{"issue":"4","key":"10.1016\/0020-0190(83)90005-4_BIB17","article-title":"Properties of functional dependency families","volume":"29","author":"Ginsburg","year":"1982","journal-title":"J. ACM"},{"issue":"4","key":"10.1016\/0020-0190(83)90005-4_BIB18","doi-asserted-by":"crossref","DOI":"10.1145\/322344.322348","article-title":"On the family generalized dependency constraints","volume":"29","author":"Grant","year":"1982","journal-title":"J. ACM"},{"key":"10.1016\/0020-0190(83)90005-4_BIB19","author":"Gr\u00e4tzer","year":"1979"},{"issue":"4","key":"10.1016\/0020-0190(83)90005-4_BIB20","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1145\/319628.319630","article-title":"Consequences of assuming a universal relation","volume":"6","author":"Kent","year":"1981","journal-title":"ACM Trans. on Database Systems"},{"key":"10.1016\/0020-0190(83)90005-4_BIB21","first-page":"52","article-title":"Entity-relationship views over uninterpreted enterprise schemas","author":"Klug","year":"1979","journal-title":"Proc. Internat. Conf. Entity-Relationship Approach to Systems Analysis and Design"},{"key":"10.1016\/0020-0190(83)90005-4_BIB22","first-page":"86","article-title":"Characterizing data base dependencies","volume":"115","author":"Makowsky","year":"1981"},{"key":"10.1016\/0020-0190(83)90005-4_BIB23","unstructured":"J. Rissanen Theory of relations for databases - a tutorial survey Proc. 7th Symp. on Math. Found. of Comput. Sci. Lecture Notes in Comput. Sci. 64 Springer Berlin 537-551"},{"issue":"1","key":"10.1016\/0020-0190(83)90005-4_BIB24","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1145\/322290.322297","article-title":"Subset dependencies and a completeness result for a subclass of embedded multivalued dependencies","volume":"29","author":"Sagiv","year":"1982","journal-title":"J. ACM"},{"key":"10.1016\/0020-0190(83)90005-4_BIB25","article-title":"A method for helping discover the dependencies of a relation","volume":"Vol. 1","author":"Silva","year":"1981"},{"key":"10.1016\/0020-0190(83)90005-4_BIB26","unstructured":"R. Statman, Elementary theories of database dependencies, to appear."},{"key":"10.1016\/0020-0190(83)90005-4_BIB27","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1145\/588111.588114","article-title":"The U.R. strikes back","author":"Ullman","year":"1982","journal-title":"Proc. 1st ACM SIGACT-SIGMOD Conf. on Principles of Database Systems"},{"key":"10.1016\/0020-0190(83)90005-4_BIB28","first-page":"198","article-title":"Global decision problems for relational databases","author":"Vardi","year":"1981","journal-title":"Proc. 1981 IEEE Symp. on Foundations of Comput. Sci."},{"key":"10.1016\/0020-0190(83)90005-4_BIB29","article-title":"A structural model for database Systems","author":"Wiederhod","year":"1979"},{"key":"10.1016\/0020-0190(83)90005-4_BIB30","first-page":"328","article-title":"Algebraic dependencies","author":"Yannakakis","year":"1980","journal-title":"Proc. 1980 IEEE Symp. on Found. of Comput. Sci."},{"key":"10.1016\/0020-0190(83)90005-4_BIB31","first-page":"431","article-title":"Query-by-example","volume":"44","author":"Zloof","year":"1975"}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0020019083900054?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0020019083900054?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T16:55:29Z","timestamp":1555088129000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0020019083900054"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,1]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1983,1]]}},"alternative-id":["0020019083900054"],"URL":"https:\/\/doi.org\/10.1016\/0020-0190(83)90005-4","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[1983,1]]}}}