Termination Analysis Without the Tears.

Shaowei Zhu Zachary Kincaid

Published in: CoRR (2021)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
integrity constraints
object oriented databases
data analysis
management system
data warehousing
deductive databases