Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints.

Thom W. Frühwirth

Published in: RuleML (2016)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
object oriented databases
integrity constraints
databases
composite events
query language
deductive databases
temporal data
business rules
temporal databases