Detecting Cardinality Constraints in CNF.

Armin Biere Daniel Le Berre Emmanuel Lonca Norbert Manthey

Published in: SAT (2014)

Keyphrases

cardinality constraints
boolean algebra
functional dependencies
quantifier elimination
entity relationship
constraint query languages
integrity constraints
deductive databases
database schema
inference rules
database
information systems
database design