Axiomatizing functional dependencies in the higher-order entity-relationship model

Information Processing Letters

Volumn 87, Issue 3, 2003, Pages 133-137

  Hartmann, Sven ^a   Hoffmann, Anne ^b   Link, Sebastian ^a   Schewe, Klaus Dieter ^a  

^a MASSEY UNIVERSITY   (New Zealand)

^b JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

Axiomatization; Databases; Functional dependencies

Indexed keywords

DATA STRUCTURES; DATABASE SYSTEMS; SET THEORY; THEOREM PROVING;

FUNCTIONAL DEPENDENCIES;

INFORMATION SCIENCE;

EID: 0037671524     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0190(03)00267-9     Document Type: Article

References (5)

1. Abiteboul S., Hull R., Vianu V. Foundations of Databases. 1995;Addison-Wesley, Reading, MA.
2. Armstrong W.W. Dependency structures of database relationships. Inform. Process. Lett. 74:1974;580-583.
3. S. Hartmann, S. Link, K.-D. Schewe, Capturing functional dependencies in the Higher-Order Entity-Relationship Model, Technical Report, Massey University, Palmerston North, New Zealand, in print.
4. Paredaens J., De Bra P., Gyssens M., Van Gucht D. The Structure of the Relational Database Model. EATCS Monographs on Theoretical Computer Science. 1989;Springer, Berlin.
5. Thalheim B. Entity-Relationship Modeling: Foundations of Database Technology. 2000;Springer, Berlin.