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.



You can find us here.

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


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