This book constitutes the strictly refereed post-workshop proceedings of the Third International Workshop on Rules in Database Systems, RIDS '97, held in Skövde, June 1997.
The 13 revised papers presented in the book were carefully reviewed and selected from 33 submissions. The book documents the state-of-the art in the area. The papers are devoted to deductive databases, active database systems architectures, events in workflow management, rule modelling and simulation, rule confluence, rule termination analysis, rule testing and validation, active database systems design.
Author(s): Pedro R. Falcone Sampaio, Norman W. Paton (auth.), Andreas Geppert, Mikael Berndtsson (eds.)
Series: Lecture Notes in Computer Science 1312
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1997
Language: English
Pages: 219
Tags: Database Management
Deductive object-oriented database systems: A survey....Pages 1-19
Integrating dynamic aspects into deductive object-oriented databases....Pages 20-34
FOLRE: A deductive database system for the integrated treatment of updates....Pages 35-50
An introduction to the TriggerMan asynchronous trigger processor....Pages 51-66
Logging and post-mortem analysis of workflow executions based on event histories....Pages 67-82
Rule modelling and simulation in ALFRED....Pages 83-99
Using the properties of datalog to prove termination and confluence in active databases....Pages 100-117
On confluence property of active databases with meta-rules....Pages 118-132
An implementation and evaluation of the Refined Triggering Graph method for active rule termination analysis....Pages 133-148
Investigating termination in active database systems with expressive rule languages....Pages 149-164
On control flow testing of active rules in a declarative object-oriented framework....Pages 165-180
Validating active rules by planning....Pages 181-196
Active-design: A generic toolkit for deriving specific rule execution models....Pages 197-211
