The Nonmonotonic Semantics of Active Rules in Deductive Databases

摘要

We provide a logic-based semantics for active database rules under the immediately-after, tuple-level activation policy of SQL3. This result allows us to characterize and analyze the behavior of complex rule systems using the declarative framework of stable models, and to lay the theoretical foundation for a very desirable integration of active databases and deductive databases.