Refined Rules Termination Analysis Through Activation Path.

Zhongmin Xiong Zhongxiao Hao

Published in: WAIM (2005)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
integrity constraints
object oriented databases
shortest path
deductive databases
information systems
object oriented
software engineering
business rules
description language