Login / Signup
Active rules termination analysis based on activation path and enhanced formula.
Zhongmin Xiong
Menglu Zhao
Dongmei Huang
Shijun He
Wei Wang
Published in:
Int. J. Intell. Inf. Database Syst. (2013)
Keyphrases
</>
termination analysis
active rules
active databases
abstract interpretation
integrity constraints
deductive databases
object oriented databases
business rules
database
software engineering
control flow
composite events
information systems
relational databases