On the Implication of Multivalued Dependencies in Partial Database Relations

The implication of multivalued dependencies (MVDs) in relational databases has originally and independently been defined in the context of some fixed finite universe by Delobel, Fagin, and Zaniolo. Biskup observed that the original axiomatisation for MVD implication does not reflect the fact that the complementation rule is merely a means to achieve database normalisation. He proposed two alternative ways to overcome this deficiency: i) an axiomatisation that does represent the role of the complementation rule adequately, and ii) a notion of MVD implication in which the underlying universe of attributes is left undetermined together with an axiomatisation of this notion. In this paper we investigate multivalued dependencies with null values (NMVDs) as defined and axiomatised by Lien. We show that Lien's axiomatisation does not adequately reflect the role of the complementation rule, and extend Biskup's findings for MVDs in total database relations to NMVDs in partial database relations. Moreover, a correspondence between (minimal) axiomatisations in fixed universes that do reflect the property of complementation and (minimal) axiomatisations in undetermined universes is shown.

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

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

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

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

[5]  E. F. Codd.  Understanding relations , 1974, SGMD.

[6]  Jef Wijsen,et al.  Temporal FDs on complex objects , 1999, TODS.

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

[8]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

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

[10]  F. E..  A Relational Model of Data Large Shared Data Banks , 2000 .

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

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

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

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

[15]  Gösta Grahne,et al.  Dependency Satisfaction in Databases with Incomplete Information , 1984, VLDB.

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

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

[18]  Sven Hartmann,et al.  Full hierarchical dependencies in fixed and undetermined universes , 2007, Annals of Mathematics and Artificial Intelligence.

[19]  Paolo Atzeni,et al.  Functional Dependencies and Constraints on Null Values in Database Relations , 1986, Inf. Control..

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

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

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

[23]  Sven Hartmann,et al.  Deciding implication for functional dependencies in complex-value databases , 2006, Theor. Comput. Sci..

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

[25]  Michael Johnson,et al.  Three approaches to Partiality in the Sketch Data Model , 2003, CATS.

[26]  Sebastian Link.  On the Logical Implication of Multivalued Dependencies with Null Values , 2006, CATS.

[27]  Klaus-Dieter Schewe,et al.  Functional and multivalued dependencies in nested databases generated by record and list constructor , 2006, Annals of Mathematics and Artificial Intelligence.

[28]  Y. Edmund Lien,et al.  On the Equivalence of Database Models , 1982, JACM.

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

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

[31]  Sven Hartmann,et al.  On a problem of Fagin concerning multivalued dependencies in relational databases , 2006, Theor. Comput. Sci..

[32]  George Havas,et al.  On the Complexity of the Extended Euclidean Algorithm (extended abstract) , 2003, CATS.

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

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

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

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

[37]  John Grant,et al.  Null Values in a Relational Data Base , 1977, Inf. Process. Lett..

[38]  Sebastian Link.  On Multivalued Dependencies in Fixed and Undetermined Universes , 2006, FoIKS.

[39]  Carlo Zaniolo.  Database relations with null values , 1982, PODS '82.

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

[41]  Georg Gottlob,et al.  Closed World Databases Opened Through Null Values , 1988, VLDB.

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

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