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.




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