The expressive power of valued constraints: Hierarchies and collapses.

David A. Cohen Peter G. Jeavons Stanislav Zivný

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

Keyphrases

expressive power
first order logic
query language
constraint query languages
data complexity
relational algebra
transitive closure
computational properties
constraint satisfaction
relational calculus
datalog queries
relational query languages
data mining
association rules
recursive queries
user defined aggregates