Abstract is missing.
- Deductive Object-Oriented Database Systems: A SurveyPedro R. Falcone Sampaio, Norman W. Paton. 1-19
- Integrating Dynamic Aspects into Deductive Object-Oriented DatabasesWolfgang May, Christian Schlepphorst, Georg Lausen. 20-34
- FOLRE: A Deductive Database System for the Integrated Treatment of UpdatesEnric Mayol, Joan Antoni Pastor, Ernest Teniente, Toni Urpí. 35-50
- An Introduction to the TriggerMan Asynchronous Trigger ProcessorEric N. Hanson, Samir Khosla. 51-66
- Logging and Post-Mortem Analysis of Workflow Executions Based on Event HistoriesAndreas Geppert, Dimitris Tombros. 67-82
- Rule Modelling and Simulation in ALFREDMarkus Schlesinger, Georg Lörincze. 83-99
- Using the Properties of Datalog to Prove Termination and Confluence in Active DatabasesSara Comai, Letizia Tanca. 100-117
- On Confluence Property of Active Databases with Meta-RulesXianchang Wang, Jia-Huai You, Li-Yan Yuan. 118-132
- An Implenentation and Evaluation of the Refined Triggering Graph Method for Active Rule Termination AnalysisMichael K. Tschudi, Susan Darling Urban, Suzanne W. Dietrich, Anton P. Karadimce. 133-148
- Investigating Termination in Active Database Systems with Expressive Rule LanguagesAnca Vaduva, Stella Gatziu, Klaus R. Dittrich. 149-164
- On Control Flow Testing of Active Rules in a Declarative Object-Oriented FrameworkHon Wai Rene Chan, Suzanne W. Dietrich, Susan Darling Urban. 165-180
- Validating Active Rules by PlanningPiero Fraternali, Ernest Teniente, Toni Urpí. 181-196
- Active-Design: A Generic Toolkit for Deriving Specific Rule Execution ModelsMokrane Bouzeghoub, Françoise Fabret, François Llirbat, Maja Matulovic, Eric Simon. 197-211