Non-termination Analysis and Cost-Based Query Optimization of Logic Programs.

Published in: RR (2012)

Keyphrases

query optimization
logic programs
termination analysis
logic programming
query plan
cost model
database systems
fixpoint
active rules
active databases
answer sets
multidatabase systems
query processing
stable models
query optimizer
xml data
recursive queries
query execution