The expressive power of CHR with priorities.

Maurizio Gabbrielli Jacopo Mauro Maria Chiara Meo

Published in: Inf. Comput. (2013)

Keyphrases

expressive power
constraint handling rules
first order logic
query language
data complexity
transitive closure
computational properties
relational algebra
pattern queries
relational calculus
constraint query languages
relational databases
pattern matching
conjunctive queries
recursive queries
closure properties