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

Authors:
Sven Hartmann;Anne Hoffmann;Sebastian Link;Klaus-Dieter Schewe
Affiliations:
Information Science Research Centre, Massey University, Palmerston North, New Zealand;Data and Knowledge Engineering, Johannes Kepler University, Linz, Austria;Information Science Research Centre, Massey University, Palmerston North, New Zealand;Information Science Research Centre, Massey University, Palmerston North, New Zealand
Venue:
Information Processing Letters
Year:
2003

Citing 3
Cited 6

The structure of the relational database model

The structure of the relational database model
Foundations of Databases: The Logical Level

Foundations of Databases: The Logical Level
Entity-Relationship Modeling: Foundations of Database Technology

Entity-Relationship Modeling: Foundations of Database Technology

Distance functional dependencies in the presence of complex values

Acta Cybernetica
Functional dependencies over XML documents with DTDs

Acta Cybernetica
Counter-free keys and functional dependencies in higher-order datamodels

Fundamenta Informaticae
Keys and Armstrong databases in trees with restructuring

Acta Cybernetica
Integrity constraints in (conceptual) database models

The evolution of conceptual modeling
Counter-Free Keys and Functional Dependencies in Higher-Order Datamodels

Fundamenta Informaticae

Quantified Score

Hi-index	0.89

Visualization

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.