Projection-based Termination Analysis.

Published in: Functional Programming (1993)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
integrity constraints
data mining
fine grained
database technology
data warehousing
deductive databases
object oriented databases
distributed environment
database
test cases
software engineering
relational databases
databases