Login / Signup
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