On semantic issues connected with incomplete information databases
ACM Transactions on Database Systems (TODS)
The theory of joins in relational databases
ACM Transactions on Database Systems (TODS)
Synthesizing third normal form relations from functional dependencies
ACM Transactions on Database Systems (TODS)
Multivalued dependencies and a new normal form for relational databases
ACM Transactions on Database Systems (TODS)
Calculating constraints on relational expression
ACM Transactions on Database Systems (TODS)
A relational model of data for large shared data banks
Communications of the ACM
First order logic formalization for functional, multivalued and mutual dependencies
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
Principles of Database Systems
Principles of Database Systems
A technique for translating states between database schemata
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
A technique for translating states between database schemata
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
Consistency enforcement in databases
Proceedings of the 2nd international conference on Semantics in databases
| Hi-index | 0.00 |
In an attempt to eliminate motivational inconsistencies, we propose a new approach to relational database theory. Basically, a database schema is treated as a relational view defined over certain atomic, selfexplainable relations, constituting what we call a conceptual schema. In this new framework, we revisit some basic notions of the relational database theory, such as dependencies and schema equivalence. We point out a fundamental difference between functional dependencies, which we treat as constraints over the conceptual schema, and multivalued and join dependencies, which we treat as constraints over the database schema, and which are simply consequences of the way database relations are constructed from conceptual relations. The separation of the database schema from the conceptual schema makes it possible to give a clear definition of a semantics of a database state. It also provides a natural framework to consider equivalence of database schemata.