A Membership Algorithm for Functional and Multi-valued Dependencies in the Presence of Lists

Abstract Nested lists are used as a data structure whenever order matters. List types are therefore supported by many advanced data models such as genomic sequence, deductive and object-oriented data models including XML. What impact does the finite list type have on the two most important classes of relational dependencies? The membership problem of functional and multi-valued dependencies in databases supporting base, record and list types is investigated. The problem is to decide whether a functional or multi-valued dependency follows from a given set of functional and multi-valued dependencies. In order to capture different data models at a time, an abstract algebraic approach based on nested attributes and subtyping is taken. This algebraic framework allows to generalise Beeri's well-known membership algorithm in [Transactions on Database Systems 5 (3) (1980) 241] from the relational data model. It is argued that the algorithm presented works correctly and in polynomial time.

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

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

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

[4]  Bernhard Thalheim,et al.  Foundations of entity-relationship modeling , 1993, Annals of Mathematics and Artificial Intelligence.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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