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

Autoren
S. Hartmann, A. Hoffmann, S. Link, K.-D. Schewe
Paper
Hoff03a (2003)
Zitat
Information Processing Letters, Vol. 87, No. 3, Aug. 2004, Elsevier Science B.V., ISSN 0020-0190, pp. 133-137, 2003.
Ressourcen
Kopie  (Senden Sie ein Email mit  Hoff03a  als Betreff an dke.win@jku.at um diese Kopie zu erhalten)

Kurzfassung

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