Formal Characterizations of Active Databases: Part II

摘要

This paper presents a formal framework for specifying active database systems. Declarative characterization of active databases allows additional flexibility in defining an implementation-independent semantics of the active rules. The results extend the active database description language introduced in (5) with additional semantic dimensions. We demonstrate through examples how we can encode the active rules and their operational behavior from different existing systems.