An extension of conflict-free multivalued dependency sets
- 3 June 1984
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Database Systems
- Vol. 9 (2) , 309-326
- https://doi.org/10.1145/329.354
Abstract
Several researchers (Beeri, Bernstein, Chiu, Fagin, Goodman, Maier, Mendelzon, Ullman, and Yannakakis) have introduced a special class of database schemes, called acyclic or tree schemes. Beeri et al. have shown that an acyclic join dependency, naturally defined by an acyclic database scheme, has several desirable properties, and that an acyclic join dependency is equivalent to a conflict-free set of multivalued dependencies. However, since their results are confined to multivalued and join dependencies, it is not clear whether we can handle functional dependencies independently of other dependencies. In the present paper we define an extension of a conflict-free set, called an extended conflict-free set , including multivalued dependencies and functional dependencies, and show the following two properties of an extended conflict-free set: There are three equivalent definitions of an extended conflict-free set. One of them is defined as a set including an acyclic joint dependency and a set of functional dependencies such that the left and right sides of each functional dependency are included in one of the attribute sets that construct the acyclic join dependency. For a relation scheme with an extended conflict-free set, there is a decomposition into third normal form with a lossless join and preservation of dependencies.Keywords
This publication has 13 references indexed in Scilit:
- On the Desirability of Acyclic Database SchemesJournal of the ACM, 1983
- On the Equivalence of Database ModelsJournal of the ACM, 1982
- Power of Natural SemijoinsSIAM Journal on Computing, 1981
- An Equivalence Between Relational Database Dependencies and a Fragment of Propositional LogicJournal of the ACM, 1981
- Equivalence of Relational Database SchemesSIAM Journal on Computing, 1981
- Using Semi-Joins to Solve Relational QueriesJournal of the ACM, 1981
- Properties of acyclic database schemesPublished by Association for Computing Machinery (ACM) ,1981
- Testing implications of data dependenciesACM Transactions on Database Systems, 1979
- Synthesizing independent database schemasPublished by Association for Computing Machinery (ACM) ,1979
- Synthesizing third normal form relations from functional dependenciesACM Transactions on Database Systems, 1976