The Complexity of Global Cardinality Constraints.

Andrei A. Bulatov Dániel Marx

Published in: LICS (2009)

Keyphrases

cardinality constraints
boolean algebra
entity relationship
integrity constraints
quantifier elimination
database
data model
expressive power
database schema
space complexity
information systems
high level
relational databases
xml documents
logic programming