The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions.
Michael A. ArbibErnest G. ManesPublished in: J. ACM (1982)
Keyphrases
- fixpoint
- recursive queries
- datalog programs
- logic programs
- deductive databases
- semantics of logic programs
- finite state machines
- logic programming
- stable models
- horn clauses
- pattern matching
- fixpoint semantics
- answer sets
- nonmonotonic reasoning
- magic sets
- model theoretic
- sql queries
- proof theoretic
- background knowledge
- domain knowledge
- query evaluation
- update rule
- update propagation
- matching algorithm
- general purpose