1. DKE
  2. Research
  3. Publications
  4. Hoff03a

Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model

Authors
S. Hartmann, A. Hoffmann, S. Link, K.-D. Schewe
Paper
Hoff03a (2003)
Citation
Information Processing Letters, Vol. 87, No. 3, Aug. 2004, Elsevier Science B.V., ISSN 0020-0190, pp. 133-137, 2003.
Resources
Copy  (In order to obtain the copy please send an email with subject  Hoff03a  to dke.win@jku.at)

Abstract

A finite axiomatization of functional dependencies on conceptual database schemata is presented which naturally generalizes the well-known Armstrong axioms. The underlying conceptual data model is the Higher-Order Entity-Relationship Model.

Keywords:Databases, Functional Dependencies, Axiomatization