On the expressive power of KLAIM-based calculi.

Rocco De Nicola Daniele Gorla Rosario Pugliese

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

Keyphrases

expressive power
first order logic
query language
data complexity
computational properties
transitive closure
data mining
relational calculus
relational algebra
constraint query languages
machine learning