Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints.

Soukaina Hattad Saïd Jabbour Lakhdar Sais Yakoub Salhi

Published in: ICAART (2) (2017)

Keyphrases

cardinality constraints
boolean algebra
quantifier elimination
closed sets
functional dependencies
constraint query languages
entity relationship
integrity constraints
data model
database schema
lower bound
relational databases
domain knowledge
query language
deductive databases
inference rules