An architecture for automatic relational database sytem conversion
ACM Transactions on Database Systems (TODS)
Multivalued dependencies and a new normal form for relational databases
ACM Transactions on Database Systems (TODS)
A relational model of data for large shared data banks
Communications of the ACM
An algebra of quotient relations
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
Data Base Organization for Data Management
Data Base Organization for Data Management
Remarks on the algebra of non first normal form relations
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Conceptual Relations between Databases Transformed under Join and Projection
MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
A formal definition of the relational model
ACM SIGMOD Record
Final report of the ANSI/X3/SPARC DBS-SG relational database task group
ACM SIGMOD Record
| Hi-index | 0.00 |
There has been a lot of recent interest in the formalization of the relational data model (RDM). Many approaches may be characterized as ones oriented mainly towards declaring the components of the RDM and their interrelationships. Other approaches provide a tool for manipulating the components of RDM so that research topics on the model can be specified exactly. The latter approaches are based on formal specification methods such as denotational semantics or abstract data types. Some in the data base community experience them quite complex and cumbersome.The goal of the approach of this paper is of the latter kind. However, special attention is being paid to avoid the complexity of the formal specification methods because our notations and definitions are based on set theory. We attempt to provide an exact, convenient and general tool for specifications and proofs concerning various topics like relational query languages, query optimization, relational data base restructuring, data base design, etc.