On the Expressive Power of Klaim-based Calculi.

Rocco De Nicola Daniele Gorla Rosario Pugliese

Published in: EXPRESS (2004)

Keyphrases

expressive power
first order logic
query language
relational algebra
data complexity
computational properties
transitive closure
databases
relational calculus
user defined aggregates