Magic-Sets: Globalisieren von Variablen und Rekursionselimination.
Joachim BiskupTorsten PollePublished in: Grundlagen von Datenbanken (1993)
Keyphrases
- magic sets
- datalog programs
- logic programs
- update propagation
- query answering
- recursive queries
- fixpoint
- deductive databases
- logic programming
- replicated databases
- data complexity
- conjunctive queries
- relational databases
- answer set programming
- stable model semantics
- data exchange
- inconsistent databases
- query language
- transitive closure
- stable models
- query evaluation