AGM: A Dataflow Database Machine.

Lubomir Bic Robert L. Hartmann

Published in: ACM Trans. Database Syst. (1989)

Keyphrases

database machine
belief revision
data flow
belief change
database machines
database management systems
minimal change
horn logic
propositional logic
knowledge base
belief update
epistemic states
horn contraction
control flow
video coding
multi agent
database