Login / Signup
A Deductive Database Solution to the Preferential Vote Counting Problem.
David B. Kemp
Kotagiri Ramamohanarao
Published in:
Workshop on Deductive Databases and Logic Programming (1994)
Keyphrases
</>
deductive databases
integrity constraints
logic programming
optimal solution
integrity checking
disjunctive deductive databases
fixpoint
database systems
event calculus
update propagation