{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:18:23Z","timestamp":1771024703062,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540672272","type":"print"},{"value":"9783540464396","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46439-5_24","type":"book-chapter","created":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T02:09:46Z","timestamp":1185934186000},"page":"350-364","source":"Crossref","is-referenced-by-count":95,"title":["Efficient Discovery of Functional Dependencies and Armstrong Relations"],"prefix":"10.1007","author":[{"given":"St\u00e9phane","family":"Lopes","sequence":"first","affiliation":[]},{"given":"Jean-Marc","family":"Petit","sequence":"additional","affiliation":[]},{"given":"Lotfi","family":"Lakhal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,3,24]]},"reference":[{"key":"24_CR1","unstructured":"Autoadmin Project, Microsoft research, database group, http:\/\/www.research.microsoft.com\/db ."},{"key":"24_CR2","unstructured":"WWW page http:\/\/www.cs.helsinki.fi\/research\/fdk\/datamining\/tane ."},{"key":"24_CR3","unstructured":"Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison Wesley, 1995."},{"key":"24_CR4","unstructured":"Rakesh Agrawal and Ramakrishnan Srikant. Fast algorithms for mining association rules in large databases. In Proceedings of the Twentieth International Conference on Very Large Databases, Santiago de Chile, Chile, pages 487\u2013499, 1994."},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Roberto Bayardo and Rakesh Agrawal. Mining the most interesting rules. In Proceedings of the Fifth International Conference on Knowledge Discovery & Data Mining, San Diego, CA, USA, 1999.","DOI":"10.1145\/312129.312219"},{"issue":"1","key":"24_CR6","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/2422.322414","volume":"31","author":"C. Beeri","year":"1984","unstructured":"Catriel Beeri, Martin Dowd, Ronald Fagin, and Richard Statman. On the structure of Armstrong relations for functional dependencies. Journal of the ACM, 31(1):30\u201346, 1984.","journal-title":"Journal of the ACM"},{"issue":"2","key":"24_CR7","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1145\/5922.214291","volume":"11","author":"C. Beeri","year":"1986","unstructured":"Catriel Beeri and Michael Kifer. An integrated approach to logical design of relational database schemes. ACM Transaction on Database Systems, 11(2):134\u2013158, 1986.","journal-title":"ACM Transaction on Database Systems"},{"key":"24_CR8","unstructured":"Claude Berge. Graphs and Hypergraphs. North-Holland Mathematical Library 6. American Elsevie 1976, 2d rev. ed. edition, 1976."},{"issue":"4","key":"24_CR9","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/306101.306137","volume":"27","author":"P. A. Bernstein","year":"1998","unstructured":"Philip A. Bernstein, Michael L. Brodie, Stefano Ceri, David J. DeWitt, Michael J. Franklin, Hector Garcia-Molina, Jim Gray, Gerald Held, Joseph M. Hellerstein, H. V. Jagadish, Michael Lesk, David Maier, Jeffrey F. Naughton, Hamid Pirahesh, Michael Stonebraker, and Jeffrey D. Ullman. The Asilomar report on database research. SIGMOD Record, 27(4):74\u201380, 1998.","journal-title":"SIGMOD Record"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Surajit Chaudhuri and Vivek R. Narasayya. Autoadmin \u2018what-if\u2019 index analysis utility. In Proceedings of the ACM SIGMOD International Conference on Management of Data, Seattle, Washington, USA, pages 367\u2013378, 1998.","DOI":"10.1145\/276304.276337"},{"key":"24_CR11","unstructured":"E. F. Codd. Further normalization of the data base relational model. Technical Report 909, IBM Research, 1971."},{"key":"24_CR12","unstructured":"Ethan Collopy and Mark Levene. Evolving example relations to satisfy functional dependencies. In Proceedings of the International Workshop on Issues and Applications of Database Technology, pages 440\u2013447, 1998."},{"issue":"2","key":"24_CR13","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0022-0000(86)90019-X","volume":"33","author":"S. S. Cosmadakis","year":"1986","unstructured":"Stavros S. Cosmadakis, Paris C. Kanellakis, and Nicolas Spyratos. Partition semantics for relations. Journal of Computer and System Sciences, 33(2):203\u2013233, 1986.","journal-title":"Journal of Computer and System Sciences"},{"key":"24_CR14","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0166-218X(92)90028-9","volume":"40","author":"J. Demetrovics","year":"1992","unstructured":"J\u00e1nos Demetrovics, Leonid Libkin, and Ilya B. Muchnik. Functional dependencies in relational databases: A lattice point of view. Discrete Applied Mathematics, 40:155\u2013185, 1992.","journal-title":"Discrete Applied Mathematics"},{"key":"24_CR15","unstructured":"Ronald Fagin. Armstrong databases. Technical Report 5, IBM Research Laboratory, 1982."},{"issue":"4","key":"24_CR16","doi-asserted-by":"publisher","first-page":"952","DOI":"10.1145\/322344.322347","volume":"29","author":"R. Fagin","year":"1982","unstructured":"Ronald Fagin. Horn clauses and database dependencies. Journal of the ACM, 29(4):952\u2013985, 1982.","journal-title":"Journal of the ACM"},{"issue":"4","key":"24_CR17","first-page":"385","volume":"9","author":"G. Gottlob","year":"1990","unstructured":"Georg Gottlob and Leonid Libkin. Investigations on Armstrong relations, dependency inference, and excluded functional dependencies. Acta Cybernetica, 9(4):385\u2013402, 1990.","journal-title":"Acta Cybernetica"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Yk\u00e4 Huhtala, Juha K\u00e4rkk\u00e4inen, Pasi Porkka, and Hannu Toivonen. Efficient discovery of functional and approximate dependencies using partitions. In Proceedings of the Fourteenth IEEE International Conference on Data Engineering, pages 392\u2013401, 1998.","DOI":"10.1109\/ICDE.1998.655802"},{"key":"24_CR19","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1002\/int.4550070703","volume":"7","author":"M. Kantola","year":"1992","unstructured":"Martti Kantola, Heikki Mannila, Kari-Jouko R\u00e4ih\u00e4, and Harri Siirtola. Discovering functional and inclusion dependencies in relational databases. International Journal of Intelligent Systems, 7:591\u2013607, 1992.","journal-title":"International Journal of Intelligent Systems"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Mika Klemettinen, Heikki Mannila, Pirjo Ronkainen, Hannu Toivonen, and A. Inkeri Verkamo. Finding interesting rules from large sets of discovered association rules. In Proceedings of the Third International Conference on Information and Knowledge Management, Gaithersburg, Maryland, pages 401\u2013407, 1994.","DOI":"10.1145\/191246.191314"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"Mark Levene and Georges Loizou. A Guided Tour of Relational Databases and Beyond. Springer-verlag London Limited, 1999.","DOI":"10.1007\/978-0-85729-349-7"},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"St\u00e9phane Lopes, Jean-Marc Petit, and Lotfi Lakhal. Efficient discovery of functional dependencies and armstrong relations (complete version) http:\/\/libd2.univ-bpclermont.fr\/publications . Technical report, LIMOS, 1999.","DOI":"10.1007\/3-540-46439-5_24"},{"key":"24_CR23","doi-asserted-by":"crossref","unstructured":"St\u00e9phane Lopes, Jean-Marc Petit, and Farouk Toumani. Discovery of \u201cinteresting\u201d data dependencies from a workload of SQL statements (poster). In Jan M. Zytkow and Jan Rauch, editors, Proceedings of the Principles of Data Mining and Knowledge Discovery, Prague, Czech Republic, volume 1704, pages 430\u2013435, 1999.","DOI":"10.1007\/978-3-540-48247-5_54"},{"issue":"2","key":"24_CR24","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1016\/0022-0000(86)90015-2","volume":"33","author":"H. Mannila","year":"1986","unstructured":"Heikki Mannila and Kari-Jouko R\u00e4ih\u00e4. Design by example: An application of Armstrong relations. Journal of Computer and System Sciences, 33(2):126\u2013141, 1986.","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"24_CR25","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0169-023X(94)90023-X","volume":"12","author":"H. Mannila","year":"1994","unstructured":"Heikki Mannila and Kari-Jouko R\u00e4ih\u00e4. Algorithms for inferring functional dependencies from relations. Data and Knowledge Engineering, 12(1):83\u201399, 1994.","journal-title":"Data and Knowledge Engineering"},{"key":"24_CR26","unstructured":"Heikki Mannila and Kari-Jouko R\u00e4ih\u00e4. The Design of Relational Databases. Addison Wesley, 1994."},{"issue":"3","key":"24_CR27","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1009796218281","volume":"1","author":"H. Mannila","year":"1997","unstructured":"Heikki Mannila and Hannu Toivonen. Levelwise search and borders of theories in knowledge discovery. Data Mining and Knowledge Discovery, 1(3):241\u2013258, 1997.","journal-title":"Data Mining and Knowledge Discovery"},{"issue":"8","key":"24_CR28","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1109\/32.57618","volume":"16","author":"V.M. Markowitz","year":"1990","unstructured":"V.M. Markowitz and J.A. Makowsky. Identifying extended entity-relationship object structures in relational schemas. IEEE Transactions on Software Engineering, 16(8):777\u2013790, 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"24_CR29","doi-asserted-by":"crossref","unstructured":"Nicolas Pasquier, Yves Bastide, Rafik Taouil, and Lotfi Lakhal. Discovering frequent closed itemsets for association rules. In Proceedings of the Seventh International Conference on Database Theory, Jerusalem, Isra\u00ebl, pages 398\u2013416, 1999.","DOI":"10.1007\/3-540-49257-7_25"},{"key":"24_CR30","unstructured":"Nicolas Pasquier, Yves Bastide, Rafik Taouil, and Lotfi Lakhal. Mining bases for association rules using galois closed sets (poster). In Proceedings of the Sixteenth IEEE International Conference on Data Engineering, February 29\u2013March 3, San Diego, CA, USA. IEEE Computer Society, 2000."},{"key":"24_CR31","unstructured":"Iztok Savnik and Peter A. Flach. Bottom-up induction of functional dependencies from relations. In Proceedings of the AAAI-93Workshop on Knowledge Discovery in Databases, pages 174\u2013185, 1993."},{"issue":"1","key":"24_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/12047.22718","volume":"12","author":"N. Spyratos","year":"1987","unstructured":"Nicolas Spyratos. The partition model: A deductive database model. ACM Transaction on Database Systems, 12(1):1\u201337, 1987.","journal-title":"ACM Transaction on Database Systems"}],"container-title":["Lecture Notes in Computer Science","Advances in Database Technology \u2014 EDBT 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46439-5_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T01:36:48Z","timestamp":1737337008000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46439-5_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672272","9783540464396"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-46439-5_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}