A Pigeon-Hole Based Encoding of Cardinality Constraints.

Saïd Jabbour Lakhdar Sais Yakoub Salhi

Published in: Theory Pract. Log. Program. (2013)

Keyphrases

cardinality constraints
boolean algebra
quantifier elimination
datalog queries
entity relationship
functional dependencies
integrity constraints
constraint query languages
deductive databases
database schema
database