Greedy Algorithms in Datalog with Choice and Negation.
Sergio GrecoCarlo ZanioloPublished in: IJCSLP (1998)
Keyphrases
- greedy algorithms
- deductive databases
- greedy algorithm
- datalog programs
- logic programming
- containment of conjunctive queries
- expressive power
- disjunctive datalog
- fixpoint
- knapsack problem
- logic programs
- query answering
- search algorithm
- integrity constraints
- fixpoint semantics
- existentially quantified
- query evaluation
- query language
- upper bound
- objective function
- data exchange
- knowledge representation
- dynamic programming
- natural language
- datalog programs with negation