On The Expressive Power of the Relational Calculus with Arithmetic Constraints.

Gabriel M. Kuper

Published in: ICDT (1990)

Keyphrases

arithmetic constraints
relational calculus
expressive power
relational algebra
query language
first order logic
transitive closure
type checking
multi dimensional
database query languages
complex objects
aggregate functions
data model
machine learning
programming language
data management