{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,5]],"date-time":"2024-12-05T05:16:53Z","timestamp":1733375813024,"version":"3.30.1"},"reference-count":36,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2001,9,1]],"date-time":"2001-09-01T00:00:00Z","timestamp":999302400000},"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":4337,"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":[[2001,9]]},"DOI":"10.1016\/s0304-3975(00)00195-x","type":"journal-article","created":{"date-parts":[[2002,10,31]],"date-time":"2002-10-31T21:53:12Z","timestamp":1036101192000},"page":"365-405","source":"Crossref","is-referenced-by-count":0,"title":["Normal forms and syntactic completeness proofs for functional independencies"],"prefix":"10.1016","volume":"266","author":[{"given":"Duminda","family":"Wijesekera","sequence":"first","affiliation":[]},{"given":"M.","family":"Ganesh","sequence":"additional","affiliation":[]},{"given":"Jaideep","family":"Srivastava","sequence":"additional","affiliation":[]},{"given":"Anil","family":"Nerode","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"doi-asserted-by":"crossref","unstructured":"R. Agrawal, T. Imielinski, A. Swami, Mining association rules between sets of items in large databases, ACM SIGMOD Conf. on Management of Data, Vol. 1, SIGMOD, 1993, pp. 207\u2013216.","key":"10.1016\/S0304-3975(00)00195-X_BIB1","DOI":"10.1145\/170036.170072"},{"unstructured":"R. Agrawal, R. Srikant, Mining generalized association rules, Proc. 21st VLDB Conf., Zurich, Switzerland, 1995.","key":"10.1016\/S0304-3975(00)00195-X_BIB2"},{"doi-asserted-by":"crossref","unstructured":"W.W. Armstrong, Dependency structure of database relationships, Proc. IFIP 74, North-Holland, Amsterdam, 1974, pp. 580\u2013583.","key":"10.1016\/S0304-3975(00)00195-X_BIB3","DOI":"10.1515\/9783110840308-026"},{"unstructured":"C. Beeri, P.A. Bernstein, N. Goodman, A sophisticate's introduction to database normalisation theory, Proc. Fourth Internat. Conf. on Very Large Data Bases, 1978, pp. 113\u2013124.","key":"10.1016\/S0304-3975(00)00195-X_BIB4"},{"issue":"1","key":"10.1016\/S0304-3975(00)00195-X_BIB5","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"},{"unstructured":"S. Bell, Discovery and maintainence of functional dependencies, Proc. 1st KDD Conf., Montr\u00e9al, Canada, 1995, pp. 27\u201332.","key":"10.1016\/S0304-3975(00)00195-X_BIB6"},{"unstructured":"S. Bell, The expanded implication problem of data dependencies, Tech. Report LS-8 Report 16, Department of Computer Science, University of Dortmund, 1995.","key":"10.1016\/S0304-3975(00)00195-X_BIB7"},{"unstructured":"S. Bell, Deciding distinctness of query results by discovered constraints, Tech. Report, Department of Computer Science, University of Dortmund, 1996.","key":"10.1016\/S0304-3975(00)00195-X_BIB8"},{"unstructured":"D. Bitton, H. Mannila, K.J. R\u00e4ih\u00e4, Design-by-example: a design tool for relational databases, Tech. Report TR 85-692, Department of Computer Science, Cornell University, 1985.","key":"10.1016\/S0304-3975(00)00195-X_BIB9"},{"doi-asserted-by":"crossref","unstructured":"D. Bitton, J. Millman, S. Torgersen, A feasibility and performance study of dependency inference, Proc. 5th Internat. Conf. on Data Engineering, Los Angeles, CA, 1989, pp. 635\u2013641.","key":"10.1016\/S0304-3975(00)00195-X_BIB10","DOI":"10.1109\/ICDE.1989.47271"},{"issue":"1","key":"10.1016\/S0304-3975(00)00195-X_BIB11","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1147\/rd.281.0082","article-title":"Mapping uninterpreted schemes into entity-relationship diagrams","volume":"28","author":"Casanova","year":"1984","journal-title":"IBM J. Res. Dev."},{"key":"10.1016\/S0304-3975(00)00195-X_BIB12","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","article-title":"A relational model of data for large shared data banks","volume":"13","author":"Codd","year":"1970","journal-title":"Comm. ACM"},{"doi-asserted-by":"crossref","unstructured":"R. Dechter, Decomposing an n-ary relation into a tree of binary relations, Proc. 6th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, Vol. 1, ACM-SIGMOD, March 1987.","key":"10.1016\/S0304-3975(00)00195-X_BIB13","DOI":"10.1145\/28659.28679"},{"year":"1994","author":"Elmasri","series-title":"Fundamentals of Database Systems","key":"10.1016\/S0304-3975(00)00195-X_BIB14"},{"key":"10.1016\/S0304-3975(00)00195-X_BIB15","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/034\/846853","article-title":"The Theory of data dependencies \u2013 a survey","volume":"34","author":"Fagin","year":"1986","journal-title":"Symp. Appl. Math."},{"year":"1983","author":"Fitting","series-title":"Proof Methods for Modal and Intuitionistic Logic","key":"10.1016\/S0304-3975(00)00195-X_BIB16"},{"unstructured":"M. Ganesh, N. Jain, J. Srivastava, S. Parikh, T. Richardson, D. Wijesekera, Efficient mining for probabilistic functional dependencies, Techn. Report, Department of Computer Science, University of Minnesota, 1996, in preparation.","key":"10.1016\/S0304-3975(00)00195-X_BIB17"},{"key":"10.1016\/S0304-3975(00)00195-X_BIB18","first-page":"385","article-title":"Investigations on Armstrong relations, dependency inference, and excluded functional dependencies","volume":"9","author":"Gottlib","year":"1990","journal-title":"Acta Cybernet."},{"unstructured":"J.N. Gray, Database systems: a text case of research paying off. In http:\/\/cra.org\/research.impact, 1995.","key":"10.1016\/S0304-3975(00)00195-X_BIB19"},{"doi-asserted-by":"crossref","unstructured":"J.M. Janas, Covers for functional independencies, in: Conference on Database Theory, Vol. 338, Lecture Notes in Computer Science, Springer, Berlin, 1988.","key":"10.1016\/S0304-3975(00)00195-X_BIB20","DOI":"10.1007\/3-540-51251-9_17"},{"doi-asserted-by":"crossref","unstructured":"P.C. Kanellakis, Elements of Relational Database Theory, Ch. 17, The MIT Press and Elsevier, Amsterdam, 1990, pp. 1074\u20131156.","key":"10.1016\/S0304-3975(00)00195-X_BIB21","DOI":"10.1016\/B978-0-444-88074-1.50022-6"},{"year":"1983","author":"Maier","series-title":"The Theory of Relational Databases","key":"10.1016\/S0304-3975(00)00195-X_BIB22"},{"unstructured":"H. Mannila, K.J. R\u00e4ih\u00e4, Dependency inference, Proc. 13th VLDB Conf., Brighton, UK, 1987, pp. 155\u2013158.","key":"10.1016\/S0304-3975(00)00195-X_BIB23"},{"year":"1992","author":"Mannila","series-title":"The Design of Relational Databases","key":"10.1016\/S0304-3975(00)00195-X_BIB24"},{"key":"10.1016\/S0304-3975(00)00195-X_BIB25","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0166-218X(92)90031-5","article-title":"On the complexity of inferring functional dependencies","volume":"40","author":"Mannila","year":"1992","journal-title":"Discrete Appl. Math."},{"key":"10.1016\/S0304-3975(00)00195-X_BIB26","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0169-023X(94)90023-X","article-title":"Algorithms for inferring functional dependencies from relations","volume":"12","author":"Mannila","year":"1994","journal-title":"Data Knowledge Eng."},{"unstructured":"B. Pfahringer, S. Kramer, Compression-based evaluation of partial determinations, Proc. 1st KDD Conf., Montr\u00e9al, Canada, 1995, pp. 234\u2013239.","key":"10.1016\/S0304-3975(00)00195-X_BIB27"},{"unstructured":"G. Piatetsky-Shapiro, Probabilistic data dependencies, Machine Learning Workshop, Vol. 1, 1992.","key":"10.1016\/S0304-3975(00)00195-X_BIB28"},{"year":"1965","author":"Prawitz","series-title":"Natural Deduction","key":"10.1016\/S0304-3975(00)00195-X_BIB29"},{"unstructured":"I. Savnik, P.A. Falch, Bottom-up induction of functional dependencies from relations, PDIS, Vol. 1, PDIS, 1996.","key":"10.1016\/S0304-3975(00)00195-X_BIB30"},{"year":"1991","author":"Takeuti","series-title":"Proof Theory","key":"10.1016\/S0304-3975(00)00195-X_BIB31"},{"issue":"3","key":"10.1016\/S0304-3975(00)00195-X_BIB32","first-page":"211","article-title":"Logical relational detabase design tools using different classes of dependencies","volume":"13","author":"Thalheim","year":"1988","journal-title":"J. New Genaration Comput. Systems"},{"year":"1988","author":"Ullman","series-title":"Database and Knowledge-Base Systems","key":"10.1016\/S0304-3975(00)00195-X_BIB33"},{"unstructured":"M. Vardi, Fundamentals of Dependency Theory, Computer Science Press, Rockville, MD, 1988, pp. 171\u2013224.","key":"10.1016\/S0304-3975(00)00195-X_BIB34"},{"doi-asserted-by":"crossref","unstructured":"D. Wijesekera, M. Ganesh, J. Srivastava, A. Nerode, Tableaux for functional dependencies and independencies, Tableaux\u201997, 1997.","key":"10.1016\/S0304-3975(00)00195-X_BIB35","DOI":"10.1007\/BFb0027426"},{"doi-asserted-by":"crossref","unstructured":"M. Yannakakis, Perspectives on database theory, Foundations of Computing, IEEE FOCS, 1995, pp. 224\u2013246.","key":"10.1016\/S0304-3975(00)00195-X_BIB36","DOI":"10.1109\/SFCS.1995.492479"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S030439750000195X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S030439750000195X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,4]],"date-time":"2024-12-04T07:42:46Z","timestamp":1733298166000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S030439750000195X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,9]]},"references-count":36,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2001,9]]}},"alternative-id":["S030439750000195X"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(00)00195-x","relation":{},"ISSN":["0304-3975"],"issn-type":[{"type":"print","value":"0304-3975"}],"subject":[],"published":{"date-parts":[[2001,9]]}}}