Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs.
Paul FodorPublished in: AAAI (2008)
Keyphrases
- existentially quantified
- logic programs
- logic programming
- recursive programs
- database
- fixpoint
- answer sets
- query language
- stable models
- background knowledge
- query processing
- answer set programming
- universally quantified
- computational properties
- update operations
- update propagation
- inductive logic programming
- data model
- bayesian networks
- expressive power
- query evaluation
- horn clauses