论文信息 - Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model

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

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.

Klaus-Dieter Schewe | Sven Hartmann | Sebastian Link | Anne Hoffmann

[1] Bernhard Thalheim,et al. Entity-relationship modeling - foundations of database technology , 2010 .

[2] Serge Abiteboul,et al. Foundations of Databases , 1994 .

[3] Marc Gyssens,et al. The Structure of the Relational Database Model , 1989, EATCS Monographs on Theoretical Computer Science.