The Expressivity of Constraint Query Languages with Boolean Algebra Linear Cardinality Constraints.

Peter Z. Revesz

Published in: ADBIS (2005)

Keyphrases

constraint query languages
boolean algebra
cardinality constraints
constraint databases
expressive power
datalog queries
quantifier elimination
theorem prover
functional dependencies
entity relationship
database
database systems
rough sets
query evaluation
linear constraints