{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T20:40:04Z","timestamp":1736109604455,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540629207"},{"type":"electronic","value":"9783540690467"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027426","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:34:36Z","timestamp":1132641276000},"page":"358-372","source":"Crossref","is-referenced-by-count":1,"title":["Tableaux for functional dependencies and independencies"],"prefix":"10.1007","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":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"issue":"6","key":"26_CR1","doi-asserted-by":"crossref","first-page":"914","DOI":"10.1109\/69.250074","volume":"5","author":"R. Agrawal","year":"1993","unstructured":"R. Agrawal, T. Imielinski, and A. Swami. Database Mining: A Performance Perspective. IEEE Transactions on Knowledge and Data Engg., 5(6):914\u2013925, December 1993.","journal-title":"IEEE Transactions on Knowledge and Data Engg."},{"key":"26_CR2","unstructured":"Rakesh Agrawal and Ramakrishnan Srikant. Fast Algorithms for Mining Association Rules. In Proc. of 20th VLDB Conference, pages 487\u2013499, Santiago, Chile, 1994."},{"key":"26_CR3","unstructured":"Rakesh Agrawal and Ramakrishnan Srikant. Mining Generalized Association Rules. In Proc. of the 21st VLDB Conference, Zurich, Switzerland, 1995."},{"key":"26_CR4","first-page":"580","volume-title":"Proc. IFIP 74","author":"W. W. Armstrong","year":"1974","unstructured":"W. W. Armstrong. Dependency Structure of Database Relationships. In Proc. IFIP 74, pages 580\u2013583. North Holland, Amsterdam, 1974."},{"key":"26_CR5","unstructured":"C. Beeri, P.A. Bernstein, and N. Goodman. A Sophisticate's Introduction to Database Normalisation Theory. Proc. of the Fourth Int'l. Conf. on Very Large Data Bases, pages 113\u2013124, 1978."},{"key":"26_CR6","unstructured":"Siegfired Bell. Discovery and Maintainence of Functional Dependencies. In Proc. of the First KDD Conference, pages 27\u201332, Montr\u00e9al, Canada, 1995."},{"key":"26_CR7","unstructured":"Dina Bitton, Heikki Mannila, and Kari-Jouko R\u00e4ih\u00e4. Design-By-Example: A design Tool for Relational Databases. Technical Report TR 85\u2013692, Dept of Computer Science, Cornell University, 1985."},{"key":"26_CR8","volume-title":"Fundamentals of Database Systems","author":"R. A. Elmasri","year":"1994","unstructured":"Ramez A. Elmasri and Shamkant B. Navathe. Fundamentals of Database Systems. Benjamin Cummings, Redwood City, CA, 2nd edition, 1994.","edition":"2nd edition"},{"key":"26_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logic","author":"M. Fitting","year":"1983","unstructured":"Melvin Fitting. Proof Methods for Modal and Intuitionistic Logic. Riedel, Amsterdam, 1983."},{"key":"26_CR10","unstructured":"Maurice Houtsma and Arun Swami. Set Oriented Mining for Association Rules. In Proc. of 11th Int'l Conf. on Data Engg. (ICDE), Taipei, Taiwan, 1995."},{"key":"26_CR11","unstructured":"Tomasz Imielinski. From File Mining to Database Mining. In ACM-SIGMOD DMKD Workshop, Montr\u00e9al, Canada, June 1996."},{"key":"26_CR12","unstructured":"Mansfield Jaeger, Heikki Mannila, and Emil Weydert. Data Mining as Selective Theory Extraction in Probabilistic Logic. In ACM-SIGMOD DMKD Workshop, Montr\u00e9al, Canada, June 1996."},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"J. M. Janas. Covers for Functional Independencies. In Conference on Database Theory, volume 338. Springer-Verlag, Lecture Notes in Computer Science, 1988.","DOI":"10.1007\/3-540-51251-9_17"},{"key":"26_CR14","unstructured":"Heikki Mannila, H Toivonen, and A. I. Verkamo. Discovering Frequent Eposides in Sequences. In Proc. of the First KDD Conference, pages 210\u2013215, Montr\u00e9al, Canada, 1995."},{"key":"26_CR15","unstructured":"Sujal Parikh, M Ganesh, and Jaideep Srivastava. Parallel Data Mining for Functional Dependencies. Technical Report TR 96-033, Dept of Computer Science, University of Minnesota, 1996."},{"key":"26_CR16","unstructured":"Bernhard Pfahringer and Stefan Kramer. Compression-Based Evaluation of Partial Determinations. In Proc. of the First KDD Conference, pages 234\u2013239, Montr\u00e9al, Canada, 1995."},{"issue":"3","key":"26_CR17","first-page":"211","volume":"1","author":"B. Thalheim","year":"1988","unstructured":"B. Thalheim. Logical Relational Database Design Tool Using Different Classes of Dependencies. Journal of New Generation Computing Systems, 1(3):211\u2013228, 1988.","journal-title":"Journal of New Generation Computing Systems"},{"key":"26_CR18","volume-title":"Database and Knowledge-Base Systems","author":"J. D. Ullman","year":"1988","unstructured":"Jeffrey D. Ullman. Database and Knowledge-Base Systems. Computer Science press, Rockville, Maryland, 1988."},{"key":"26_CR19","unstructured":"Moshe Vardi. Fundamentals of Dependency Theory. pages 171\u2013224. Computer Science Press, 1988."},{"key":"26_CR20","volume-title":"Technical Report TR 96-066","author":"D. Wijesekera","year":"1996","unstructured":"Duminda Wijesekera, M. Ganesh, and Jaideep Srivastava. A Complete Axiomatization for Functional Independencies. Technical Report TR 96-066, Dept. of Computer Science, Univ. of Minnesota, Minneapolis, MN 55455, 1996."}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027426","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:58:34Z","timestamp":1736107114000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027426"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540629207","9783540690467"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0027426","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}