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.
[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.