On Inferences of Full Hierarchical Dependencies

Full hierarchical dependencies (FHDs) constitute a large class of relational dependencies. A relation exhibits an FHD precisely when it can be decomposed into at least two of its projections without loss of information. Therefore, FHDs generalise multivalued dependencies (MVDs) in which case the number of these projections is precisely two. The implication of FHDs has been defined in the context of some fixed finite universe. This paper identifies a sound and complete set of inference rules for the implication of FHDs. This ax-iomatisation is very reminiscent of that for MVDs. Then, an alternative notion of FHD implication is introduced in which the underlying set of attributes is left undetermined. The main result proposes a finite axiomatisation for FHD implication in undetermined universes. Moreover, the result clarifies the role of the complementation rule as a mere means of database normalisation. In fact, an axiomatisation for FHD implication in fixed universes is proposed which allows to infer any FHDs either without using the complementation rule at all or only in the very last step of the inference. This also characterises the expressiveness of an incomplete set of inference rules in fixed universes. The results extend previous work on MVDs by Biskup.

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

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

[3]  Marcelo Arenas,et al.  A normal form for XML documents , 2002, PODS '02.

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

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

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

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

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

[9]  G. Grätzer.  General Lattice Theory , 1978 .

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

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

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

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

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

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

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

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

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

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

[20]  E. F. CODD,et al.  A relational model of data for large shared data banks , 1970, CACM.

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

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

[23]  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.

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

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

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

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

[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.  Normalization and hierarchical dependencies in the relational data model , 1978, TODS.

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

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

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

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

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

[35]  Joachim Biskup,et al.  Synthesizing independent database schemas , 1979, SIGMOD '79.

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