On the expressive power of priorities in CHR.

Maurizio Gabbrielli Jacopo Mauro Maria Chiara Meo

Published in: PPDP (2009)

Keyphrases

expressive power
constraint handling rules
first order logic
query language
data complexity
computational properties
transitive closure
relational algebra
constraint query languages
pattern queries
artificial intelligence
database systems
query optimization
integrity constraints
user defined aggregates