On the CNF encoding of cardinality constraints and beyond

Olivier Bailleux

Published in: CoRR (2010)

Keyphrases

cardinality constraints
boolean algebra
functional dependencies
constraint query languages
entity relationship
database schema
constraint databases
integrity constraints
database
databases
high level
database design
semi automatic
expressive power
branch and bound