Completeness of a relational calculus for program schemes.

Marcelo F. Frias Roger D. Maddux

Published in: Theor. Comput. Sci. (2001)

Keyphrases

relational calculus
relational algebra
expressive power
query language
complex objects
relational model
finitely representable
normal form
data model
arithmetic constraints
database systems
database
relational data model
database query languages
artificial intelligence
relational databases