Relational databases
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
A Guided Tour of Relational Databases and Beyond
A Guided Tour of Relational Databases and Beyond
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
Database Design Theory
Axiomatizing functional dependencies in the higher-order entity-relationship model
Information Processing Letters
Theory of Relational Databases
Theory of Relational Databases
Increasing the Expressivity of Conditional Functional Dependencies without Extra Complexity
ICDE '08 Proceedings of the 2008 IEEE 24th International Conference on Data Engineering
Consistency enforcement in databases
Proceedings of the 2nd international conference on Semantics in databases
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Providing multi-scale consistency for multi-scale geospatial data
Proceedings of the 25th International Conference on Scientific and Statistical Database Management
Efficiency frontiers of XML cardinality constraints
Data & Knowledge Engineering
Hi-index | 0.00 |
The theory of integrity constraints has led to a large body of knowledge and to many applications such as optimisation of schema behaviour through normalisation to schemata which are easier to maintain, as automatic enforcement of database integrity by triggering or other procedural techniques, as quality improvement of data in databases, and as query recompilations due to the knowledge of validity of constraints in a database. Integrity constraints are often misunderstood, are given in the wrong database context or within the wrong database models, often combine a number of very different facets of semantics in databases and are difficult to specify. At the same time, pearls and hidden treasure of the theory of integrity constraints have been already forgotten. We develop a unifying approach to specification and treatment of integrity constraints. We survey some pearls, nuggets and lessons learned with semantic models.