Logical Design of Relational Database Systems

  title={Logical Design of Relational Database Systems},
  author={Li-Yan Yuan and Z. Meral {\"O}zsoyoglu},
We define extended conflict free dependencies in the context of functional and multivalued dependencies, and prove that there exists an acyclic, dependency preserving, 4NF database scheme if and only if the given set of dependencies has an extended conflict free cover. This condition can be checked in polynomial time. A polynomial time algorithm to obtain such a scheme for a given extended conflict free set of dependencies is also presented. The result is also applicable when the data… CONTINUE READING