Combination of Among and Cardinality Constraints.

Jean-Charles Régin

Published in: CPAIOR (2005)

Keyphrases

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