Completeness of a Relational Calculus for Program Schemes.
Marcelo F. FriasRoger D. MadduxPublished in: LICS (1998)
Keyphrases
- relational calculus
- relational algebra
- expressive power
- query language
- complex objects
- relational model
- arithmetic constraints
- relational data model
- data model
- normal form
- finitely representable
- database
- object oriented databases
- first order logic
- transitive closure
- relational databases
- expert systems
- artificial intelligence
- databases