A Logic for Cardinality Constraints (Extended Abstract).

Heinz Riener Oliver Keszöcze Rolf Drechsler Görschwin Fey

Published in: MBMV (2014)

Keyphrases

extended abstract
cardinality constraints
boolean algebra
constraint query languages
quantifier elimination
functional dependencies
modal logic
database schema
entity relationship
logic programming
closed sets
inference rules
integer program
theorem prover
database
deductive databases
linear programming