Safety and Optimization of Horn Clause Queries.
Ravi KrishnamurthyCarlo ZanioloPublished in: XP7.52 Workshop on Database Theory (1986)
Keyphrases
- horn clauses
- database queries
- query processing
- response time
- first order logic
- optimization algorithm
- query evaluation
- inductive logic programming
- query language
- inference rules
- web search engines
- logic programs
- optimization problems
- artificial intelligence
- query plan
- database
- execution plan
- retrieval systems
- range queries
- user queries
- expert systems