Systematization of Approaches to Equality-Generating Constraints

  • Authors:
  • A. Binemann-Zdanowicz

  • Affiliations:
  • -

  • Venue:
  • ADBIS-DASFAA '00 Proceedings of the East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications: Current Issues in Databases and Information Systems
  • Year:
  • 2000

Quantified Score

Hi-index 0.01

Visualization

Abstract

The aim of this paper is to propose a uniform terminology for functional dependencies and their counterparts for n-ary relationship types. A variety of existing approaches is presented and the differences between them are discussed. A sound and complete axiomatization is introduced that allows one to check the consistency of a cardinality constraint specification and to derive new constraints from existing ones. The advantage of our system of rules is its applicability to the whole variety of existing approaches in this area. Our deductive system is nonredundant.