Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation.
José Júlio AlferesCarlos Viegas DamásioLuís Moniz PereiraPublished in: ECAI (1994)
Keyphrases
- query evaluation
- deductive databases
- fixpoint
- data complexity
- query processing
- query language
- logic programs
- logic programming
- conjunctive queries
- disjunctive deductive databases
- transitive closure
- data management
- fixpoint semantics
- datalog programs
- querying xml documents
- efficient query evaluation
- xml data
- stable models
- probabilistic databases
- query engine
- normal logic programs
- answer sets
- model theoretic
- query answers
- inverted lists
- data model
- query processing strategies
- data mining
- null values
- search engine