The Implication Problem of Functional Dependencies in Complex-value Databases

Modern applications increasingly require the storage of data beyond relational structure. The challenge of providing well-founded data models that can handle complex objects such as lists, sets, multisets, unions and references has not been met yet. The success of such data models will greatly depend on the existence of automated database design techniques that generalise achievements from relational database design. In this paper, a provably-correct and polynomial-time algorithm for deciding implication of functional dependencies in the presence of all combinations of records, lists, sets, and multisets is proposed. The notion of a functional dependency is based on a Brouwerian algebra of subattributes, yielding a complementary expressiveness.

[1]  Daniel Le Métayer,et al.  Programming by multiset transformation , 1993, CACM.

[2]  Catriel Beeri,et al.  Preserving Functional Dependencies , 1981, SIAM J. Comput..

[3]  Carmem S. Hara,et al.  Reasoning about nested functional dependencies , 1999, PODS '99.

[4]  Catriel Beeri,et al.  A complete axiomatization for functional and multivalued dependencies in database relations , 1977, SIGMOD '77.

[5]  Dominique Pastre,et al.  Managing Complex Objects in an Extensible Relational DBMS , 1989, VLDB.

[6]  A. Tarski,et al.  On Closed Elements in Closure Algebras , 1946 .

[7]  Millist Walter Vincent,et al.  THE SEMANTIC JUSTIFICATION FOR NORMAL FORMS IN RELATIONAL DATABASE DESIGN , 1994 .

[8]  Z. Meral Özsoyoglu,et al.  A new normal form for nested relations , 1987, TODS.

[9]  Catriel Beeri,et al.  Equivalence of Relational Database Schemes , 1981, SIAM J. Comput..

[10]  Mark Levene,et al.  The Nested Universal Relation Database Model , 1992, Lecture Notes in Computer Science.

[11]  Bernhard Thalheim,et al.  Fundamental Concepts of Object Oriented Databases , 1993, Acta Cybern..

[12]  Miron Livny,et al.  The Design and Implementation of a Sequence Database System , 1996, VLDB.

[13]  Klaus-Dieter Schewe,et al.  Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists , 2004, FoIKS.

[14]  E. F. Codd,et al.  Further Normalization of the Data Base Relational Model , 1971, Research Report / RJ / IBM / San Jose, California.

[15]  Sven Hartmann,et al.  A Membership Algorithm for Functional and Multi-valued Dependencies in the Presence of Lists , 2004, Electron. Notes Theor. Comput. Sci..

[16]  Gérard Berry,et al.  The chemical abstract machine , 1989, POPL '90.

[17]  Peer Kröger,et al.  A Computational Biology Database Digest: Data, Data Analysis, and Data Management , 2004, Distributed and Parallel Databases.

[18]  Bernhard Thalheim,et al.  Entity-relationship modeling - foundations of database technology , 2010 .

[19]  Sven Hartmann,et al.  On Functional Dependencies in Advanced Data Models , 2003, Electron. Notes Theor. Comput. Sci..

[20]  Grant E. Weddell,et al.  Reasoning about functional dependencies generalized for semantic data models , 1992, TODS.

[21]  David Maier.  Minimum Covers in Relational Database Model , 1980, JACM.

[22]  Marcelo Arenas,et al.  A normal form for XML documents , 2004, TODS.

[23]  ChenPeter Pin-Shan.  The entity-relationship modeltoward a unified view of data , 1976 .

[24]  Albert A. Bennett.  Review: J. C. C. McKinsey, Alfred Tarski, On Closed Elements in Closure Algebras , 1946 .

[25]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[26]  Peter P. Chen.  The Entity-Relationship Model: Towards a unified view of Data , 1976 .

[27]  Sven Hartmann,et al.  Multi-valued dependencies in the presence of lists , 2004, PODS '04.

[28]  Cristian S. Calude,et al.  Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View , 2000 .

[29]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[30]  Philip A. Bernstein,et al.  Computational problems related to the design of normal form relational schemas , 1979, TODS.

[31]  Roger King,et al.  Semantic database modeling: survey, applications, and research issues , 1987, CSUR.

[32]  Jinyan Li,et al.  Bioinformatics Adventures in Database Research , 2003, ICDT.

[33]  Joel E. Richardson,et al.  Supporting Lists in a Data Model (A Timely Approach) , 1992, VLDB.

[34]  Wenfei Fan,et al.  Integrity constraints for XML , 2000, PODS '00.

[35]  Sven Hartmann,et al.  On the implication problem for cardinality constraints and functional dependencies , 2001, Annals of Mathematics and Artificial Intelligence.

[36]  Wenfei Fan,et al.  Keys for XML , 2001, WWW '01.

[37]  Ronald Fagin,et al.  The theory of data dependencies - a survey , 1984 .

[38]  Chengfei Liu,et al.  A Redundancy Free 4NF for XML , 2003, Xsym.

[39]  Catriel Beeri,et al.  A Sophisticate's Introduction to Database Normalization Theory , 1978, VLDB.

[40]  Agostino Dovier,et al.  A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms , 1998, Fundam. Informaticae.

[41]  Zahir Tari,et al.  Object normal forms and dependency constraints for object-oriented schemata , 1997, TODS.

[42]  Klaus-Dieter Schewe,et al.  Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets , 2006, Theor. Comput. Sci..

[43]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[44]  Ronald Fagin,et al.  Multivalued dependencies and a new normal form for relational databases , 1977, TODS.

[45]  Philip A. Bernstein,et al.  Synthesizing third normal form relations from functional dependencies , 1976, TODS.

[46]  Egon Börger,et al.  Trends in theoretical computer science , 1988 .

[47]  Catriel Beeri,et al.  A Formal Approach to Object-Oriented Databases , 1990, Data Knowl. Eng..

[48]  Joachim Biskup,et al.  Achievements of Relational Database Schema Design Theory Revisited , 1995, Semantics in Databases.

[49]  Shamim A. Naqvi,et al.  A Logical Language for Data and Knowledge Bases , 1989 .

[50]  Hans-Jörg Schek,et al.  A Relational Object Model , 1990, ICDT.

[51]  Wenfei Fan,et al.  On XML integrity constraints in the presence of DTDs , 2001, PODS '01.

[52]  Catriel Beeri,et al.  On the menbership problem for functional and multivalued dependencies in relational databases , 1980, TODS.

[53]  Sven Hartmann,et al.  Normalisation in the Presence of Lists , 2004, ADC.

[54]  David W. Embley,et al.  A normal form for precisely characterizing redundancy in nested relations , 1996, TODS.

[55]  Gianfranco Lamperti,et al.  On Multisets in Database Systems , 2000, WMP.