Login / Signup
Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints.
Thom W. Frühwirth
Published in:
CoRR (2017)
Keyphrases
</>
termination analysis
active rules
active databases
abstract interpretation
object oriented databases
distributed systems
database management systems
integrity constraints