An Update Procedure for A Probabilistic Deductive Database.
Angelo C. RestificarPublished in: PRICAI (1996)
Keyphrases
- deductive databases
- update propagation
- logic programming
- integrity constraints
- disjunctive deductive databases
- query evaluation
- integrity checking
- fixpoint
- replicated databases
- update operations
- model theoretic
- event calculus
- general logic programs
- databases
- closed world assumption
- data replication
- materialized views
- artificial intelligence
- database
- default logic
- fault tolerance
- conditional probabilities
- fault tolerant
- machine learning
- data mining