Optimising Active Database Rules by Partial Evaluation and Abstract Interpretation.

James Bailey Alexandra Poulovassilis Simon Courtenage

Published in: DBPL (2001)

Keyphrases

partial evaluation
abstract interpretation
termination analysis
explanation based generalization
static analysis
model checking
active rules
dynamic analysis
reasoning engine
active databases
xpath queries
database systems
software engineering
domain theory
databases
domain knowledge
active learning
training set