News

Student tutors for the course Data Modelling wanted (winter term 2021/22)


IT-Project Data Souvereignty in winter termin 2021/22


Business Intelligence: Washing Gold in Times of Information Overload


See all news.


Campusplan

campusplan_image

You can find us here.




Functional Dependencies in the Higher-Order Entity-Relationship Model

Authors: A. Hoffmann, S. Link, K.-D. Schewe
Technical Report: TRE0201 (2002)
Citation: Research Report, Massey University, Department of Information Systems, Information Science Research Centre, 2002
Resources: Copy  (In order to obtain the copy please send an email with subject  TRE0201  to dke.win@jku.at)


Abstract:

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.