A Pigeon-Hole Based Encoding of Cardinality Constraints.

Saïd Jabbour Lakhdar Saïs Yakoub Salhi

Published in: ISAIM (2014)

Keyphrases

cardinality constraints
boolean algebra
quantifier elimination
datalog queries
functional dependencies
constraint query languages
entity relationship
integrity constraints
deductive databases
inference rules
database
information systems
logic programs
database schema
closed sets