Lower Bound Cost Estimation for Logic Programs.
Saumya K. DebrayPedro López-GarcíaManuel V. HermenegildoNai-Wei LinPublished in: ILPS (1997)
Keyphrases
- logic programs
- cost estimation
- lower bound
- query optimization
- upper bound
- logic programming
- software development
- answer sets
- software projects
- fixpoint
- answer set programming
- stable models
- objective function
- partial deduction
- normal logic programs
- optimal solution
- computational properties
- loop formulas
- deductive databases
- inductive logic programming
- database systems
- strong equivalence
- prolog programs
- multi dimensional
- term rewriting systems
- propositional theories
- machine learning
- stable model semantics
- query plan
- complex objects
- xml data
- query processing
- high level
- information systems