Elimination of intersection amomalies from database schemes

  • Authors:
  • C. Beeri;M. Kifer

  • Affiliations:
  • Harvard University;The Hebrew University of Jerusalem

  • Venue:
  • PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
  • Year:
  • 1983

Quantified Score

Hi-index 0.00

Visualization

Abstract

The desirability of acyclic database scheme is well argued in [L,BFMY]. When a scheme is described by multivalued dependencies, acyclicity means that the dependencies do not split each other's left-hand side and do not form intersection anomalies. We show that if the second condition fails to hold, the scheme can be amended so that it holds. The basic step is to add one attribute and some dependencies to resolve one intersection anomaly. This step generates an extension of the given scheme in which the anomaly does not exists. We also analyze the repetitive use of the basic step and prove that the transformation so defined removes all intersection anomalies. Finally, we characterize a class of attributes that can be removed from the final scheme, leaving it acyclic.