Completeness of the Relational Calculus MU2.
Marcelo F. FriasRoger D. MadduxPublished in: RelMiCS (1997)
Keyphrases
- relational calculus
- relational algebra
- expressive power
- finitely representable
- query language
- complex objects
- normal form
- arithmetic constraints
- relational model
- relational data model
- first order logic
- data model
- database
- transitive closure
- relational database systems
- database query languages
- data exchange
- decision support
- object oriented databases
- relational databases
- high dimensional
- data structure