Functional and multivalued dependencies in nested databases generated by record and list constructor

The impact of the list constructor on two important classes of relational dependencies is investigated. Lists represent an inevitable data structure whenever order matters and data is allowed to occur repeatedly. The list constructor is therefore supported by many advanced data models such as genomic sequence, deductive and object-oriented data models including XML. The article proposes finite axiomatisations of functional, multivalued and both functional and multivalued dependencies in nested databases supporting record and list constructor. In order to capture different data models at a time, an abstract algebraic approach based on nested attributes is taken. The presence of the list constructor calls for a new inference rule which allows to infer non-trivial functional dependencies from multivalued dependencies. Further differences to the relational theory become apparent when the independence of the inference rules is investigated. The extension of the relational theory to nested databases allows to specify more real-world constraints and increases therefore the number of application domains.

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

[2]  Marc Gyssens,et al.  The Structure of the Relational Database Model , 1989, EATCS Monographs on Theoretical Computer Science.

[3]  Bernhard Thalheim,et al.  Dependencies in relational databases , 1991, Teubner-Texte zur Mathematik.

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

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

[6]  Ronald Fagin,et al.  A normal form for relational databases that is based on domains and keys , 1981, TODS.

[7]  Gottfried Vossen.  A New Characterization of FD Implication with an Application to Update Anomalies , 1988, Inf. Process. Lett..

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

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

[10]  Joachim Biskup.  On the complementation rule for multivalued dependencies in database relations , 2004, Acta Informatica.

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

[12]  Yehoshua Sagiv.  An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic , 1980, JACM.

[13]  Tok Wang Ling,et al.  NF-NR: A practical normal form for nested relations , 1994, J. Syst. Integr..

[14]  C. M. Sperberg-McQueen,et al.  Extensible markup language , 1997 .

[15]  Wenfei Fan,et al.  Integrity constraints for XML , 2000, PODS.

[16]  Ada Wai-Chee Fu,et al.  Algorithm for discovering multivalued dependencies , 2001, CIKM '01.

[17]  A BernsteinPhilip,et al.  Computational problems related to the design of normal form relational schemas , 1979 .

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

[19]  Wenfei Fan,et al.  Reasoning about Keys for XML , 2001, DBPL.

[20]  Georg Gottlob.  Computing covers for embedded functional dependencies , 1987, PODS '87.

[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]  Bernhard Thalheim,et al.  Fundamental Concepts of Object Oriented Databases , 1993, Acta Cybern..

[24]  Heikki Mannila,et al.  On the Complexity of Inferring Functional Dependencies , 1992, Discret. Appl. Math..

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

[26]  Philip A. Bernstein,et al.  What does Boyce-Codd Normal Form Do? , 1980, VLDB.

[27]  Bernhard Thalheim,et al.  Error-Robust Functional Dependencies , 2004, Fundam. Informaticae.

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

[29]  Claude Delobel,et al.  Relational database systems , 1985 .

[30]  Peter P. Chen.  English Sentence Structure and Entity-Relationship Diagrams , 1983, Inf. Sci..

[31]  Abraham Silberschatz,et al.  Extended algebra and calculus for nested relational databases , 1988, TODS.

[32]  L. A. Kalinichenko.  Advances in Databases and Information Systems: 7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003, Proceedings , 2003 .

[33]  Marcelo Arenas,et al.  An information-theoretic approach to normal forms for relational and XML data , 2003, PODS.

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

[35]  Bernhard Thalheim.  Conceptual Treatment of Multivalued Dependencies , 2003, ER.

[36]  Mark Levene,et al.  Axiomatisation of Functional Dependencies in Incomplete Relations , 1998, Theor. Comput. Sci..

[37]  Joachim Biskup.  Inferences of Multivalued Dependencies in Fixed and Undetermined Universes , 1980, Theor. Comput. Sci..

[38]  Alberto O. Mendelzon.  On Axiomatizing Multivalued Dependencies in Relational Databases , 1979, JACM.

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

[40]  Jixue Liu,et al.  Multivalued Dependencies in XML , 2003, BNCOD.

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

[42]  Professor Dr. Bernhard Thalheim.  Entity-Relationship Modeling , 2000, Springer Berlin Heidelberg.

[43]  Patrick C. Fischer,et al.  Decomposition of a relation scheme into Boyce-Codd Normal Form , 1980, ACM '80.

[44]  Mark Levene,et al.  A Lattice View of Functional Dependencies in Incomplete Relations , 1995, Acta Cybern..

[45]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[46]  A Min Tjoa,et al.  Transformation of Requirement Specifications Expressed in Natural Language into an EER Model , 1993, ER.

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

[48]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[49]  Patrick C. Fischer,et al.  Decomposition of a relation scheme into Boyce-Codd Normal Form , 1982, SIGA.

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

[51]  Sven Hartmann,et al.  More Functional Dependencies for XML , 2003, ADBIS.

[52]  Nicolás Marín,et al.  Review of Data on the Web: from relational to semistructured data and XML by Serge Abiteboul, Peter Buneman, and Dan Suciu. Morgan Kaufmann 1999. , 2003, SGMD.

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

[54]  Klaus-Dieter Schewe,et al.  A New Normal Form for Conceptual Database , 2003, EJC.

[55]  Heikki Mannila,et al.  Approximate Inference of Functional Dependencies from Relations , 1995, Theor. Comput. Sci..

[56]  Wenfei Fan,et al.  Path Constraints in Semistructured Databases , 2000, J. Comput. Syst. Sci..

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

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

[59]  Mark Levene,et al.  Database design for incomplete relations , 1999, TODS.

[60]  Dan Suciu,et al.  Data on the Web: From Relations to Semistructured Data and XML , 1999 .

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

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

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

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

[65]  Carlo Zaniolo,et al.  Analysis and design of relational schemata for database systems. , 1976 .

[66]  Mark Levene,et al.  Semantics for null extended nested relations , 1993, TODS.

[67]  Joachim Biskup,et al.  Database Schema Design Theory : Achievements and Challenges , 1995, CISMOD.

[68]  Tadao Kasami,et al.  Decision Problems for Multivalued Dependencies in Relational Databases , 1979, SIAM J. Comput..

[69]  Mark A Roth,et al.  Theory of Non-First Norman Form Relational Databases , 1986 .

[70]  Peter A. Flach,et al.  Discovery of multivalued dependencies from relations , 2000, Intell. Data Anal..

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

[72]  Tadao Kasami,et al.  Membership Problems for Data Dependencies in Relational Expressions , 1984, Theor. Comput. Sci..

[73]  Wai Yin Mok,et al.  A Comparative Study of Various Nested Normal Forms , 2002, IEEE Trans. Knowl. Data Eng..

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

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

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

[77]  Douglas Stott Parker,et al.  Algorithmic Applications For A New Result On Multivalued Dependencies , 1979, Fifth International Conference on Very Large Data Bases, 1979..

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

[79]  Wenfei Fan,et al.  What's Hard about XML Schema Constraints? , 2002, DEXA.

[80]  Jean-Marc Petit,et al.  Efficient Discovery of Functional Dependencies and Armstrong Relations , 2000, EDBT.

[81]  Yatsuka Nakamura,et al.  Armstrong's Axioms , 2007 .

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

[83]  Wenfei Fan,et al.  On XML integrity constraints in the presence of DTDs , 2001, JACM.

[84]  Wenfei Fan,et al.  Constraints for semistructured data and XML , 2001, SGMD.

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

[86]  Gösta Grahne,et al.  Database Decomposition into Fourth Normal Form , 1983, VLDB.

[87]  Jim Diederich,et al.  New methods and fast algorithms for database normalization , 1988, TODS.

[88]  Wenfei Fan,et al.  Keys for XML , 2002, Comput. Networks.

[89]  Ronald Fagin,et al.  Functional Dependencies in a Relational Data Base and Propositional Logic , 1977, IBM J. Res. Dev..

[90]  Patrick C. Fischer,et al.  Interactions between Dependencies and Nested Relational Structures , 1985, J. Comput. Syst. Sci..

[91]  Ming-Chien Shan,et al.  Iris: An Object-Oriented Database Management System , 1989, ACM Trans. Inf. Syst..

[92]  Zvi Galil,et al.  An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database , 1982, JACM.

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

[94]  Sven Hartmann.  Decomposing relationship types by pivoting and schema equivalence , 2001, Data Knowl. Eng..

[95]  MILLIST W. VINCENT,et al.  Redundancy and the Justification for Fourth Normal Form in Relational Databases , 1993, Int. J. Found. Comput. Sci..

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

[97]  Wenfei Fan,et al.  On verifying consistency of XML specifications , 2002, PODS.

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

[99]  Z. Meral Özsoyoglu,et al.  On the Normalization in Nested Relational Databases , 1987, NF².

[100]  Claude Delobel,et al.  Normalization and hierarchical dependencies in the relational data model , 1978, TODS.

[101]  Serge Abiteboul,et al.  Nested Relations and Complex Objects in Databases , 1989, Lecture Notes in Computer Science.

[102]  Henry F. Korth,et al.  The design of ¬ 1NF relational databases into nested normal form , 1987, SIGMOD '87.

[103]  BeeriCatriel.  On the menbership problem for functional and multivalued dependencies in relational databases , 1980 .

[104]  Millist W. Vincent,et al.  Semantic foundations of 4NF in relational database design , 1999, Acta Informatica.

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

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

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

[108]  Ernst-Rüdiger Olderog,et al.  Transformational design of real-time systems Part I: From requirements to program specifications , 1999, Acta Informatica.

[109]  Shamkant B. Navathe,et al.  Conceptual Database Design: An Entity-Relationship Approach , 1991 .

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

[112]  Heikki Mannila,et al.  Algorithms for Inferring Functional Dependencies from Relations , 1994, Data Knowl. Eng..

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

[114]  Moshe Y. Vardi.  Inferring multivalued dependencies from functional and join dependencies , 2004, Acta Informatica.

[115]  Laks V. S. Lakshmanan,et al.  An Algebraic Theory of Functional and Multivalued Dependencies in Relational Databases , 1987, Theor. Comput. Sci..

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