Functional Dependencies in the Higher-Order Entity-Relationship Model
- Autoren
- A. Hoffmann, S. Link, K.-D. Schewe
- Technischer Bericht
- TRE0201 (2002)
- Zitat
Research Report, Massey University, Department of Information Systems, Information Science Research Centre, 2002 - Ressourcen
- Kopie (Senden Sie ein Email mit TRE0201 als Betreff an dke.win@jku.at um diese Kopie zu erhalten)
Kurzfassung
In this report we study the axiomatisation of functional dependencies in the Higher-Order Entity-Relationship Model (HERM).
Functional dependencies are considered to be an important class of dependencies. For this reason this class of dependencies has been well studied in the Relational Database Model (RDM). The axiomatisability of functional dependencies in the RDM has been shown by W. W. Armstrong.
In this report the axiomatisability will be carried over to the conceptual data models. For our purpose we choose the HERM as it is a well-founded conceptual data model. First, we consider the structure of the subattributes in the HERM and identify it as a Heyting algebra. Finally, we show the axiomatisation of functional dependencies in the HERM. This gives the basis for the solution of the implication problem in the HREM.