On the Expressive Power of OCL.

Luis Mandel María Victoria Cengarle

Published in: World Congress on Formal Methods (1999)

Keyphrases

expressive power
query language
first order logic
data complexity
relational algebra
computational properties
transitive closure
relation algebra
data model
recursive queries