Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
Using Semi-Joins to Solve Relational Queries
Journal of the ACM (JACM)
An algebra of relations for machine computation
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Denotational Definition of the Semantics of DRC, A Domain Relational Calculus
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Formalization of Data Base Models
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Associating types with domains of relational data bases
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
ACM SIGMOD Record
Prolog-Based Meta-rules for Relational Database Representation and Manipulation
IEEE Transactions on Software Engineering
Processing queries with quantifiers a horticultural approach
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper)
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
A Denotational Definition of the Semantics of DRC, A Domain Relational Calculus
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Comparison of four relational data model specifications
ACM SIGMOD Record
A straightforward formalization of the relational model
ACM SIGMOD Record
Conservative intensional extension of Tarski's semantics
Advances in Artificial Intelligence - Special issue on Artificial Intelligence Applications in Biomedicine
| Hi-index | 0.00 |
This paper presents a precise definition of basic relational notions as well as a precise and general definition of the relational algebra. The paper also illustrates a method for developing semi-formal definitions of data models. A nearly formal definition of relations with unordered attributes is given, and algebraic operations are described as operating on and producing relations thus defined. The definition of algebric operations contains, as a special case, the "classical" definition of the algebra (see e.g. [CODD72]). But, in addition, several operations are generalized. The closure of the algebra is characterized precisely, with the help of an operation for renaming relation attributes.