On the Expressive Power of Multiple Heads in CHR.

Cinzia Di Giusto Maurizio Gabbrielli Maria Chiara Meo

Published in: ACM Trans. Comput. Log. (2012)

Keyphrases

expressive power
query language
first order logic
relational algebra
data complexity
transitive closure
computational properties
databases
pattern queries
machine learning
aggregate functions