Ulrike Griefahn, Rainer Manthey:
Update Propagation in Chimera, an Active DOOD Language
Propagating updates is an important task to be performed within many database services such as integrity checking, maintenance of materialized views, and condition monitoring. This paper is concerned with the propagation of updates in an active DOOD language. The approach proposed is to make use of Chimera triggers for computing induced updates. It will be shown how a subset of Chimera's deductive rules can be compiled to update propagation triggers. In its expressiveness the rule set considered corresponds to that of Datalog with sets and negation. Using triggers for implementing update propagation has the advantage that no special component has to be implemented as a trigger mechanism has to exist anyway. In this paper we will not propose new techniques for computing induced updates but will transfer the techniques --- well-known for the relational model --- to the object-oriented case.
Proceedings of the 5th International Workshop on the Deductive Approach to Information Systems and Databases, Aiguablava, Spain, 1994. pp. 277-298.
Also issued as technical report IAI-TR-94-4, University of Bonn, and as
IDEA working paper IDEA.WP.22.O.001, September 1994.
[View PostScript file (gzipped, 100 kB)]
Susanne Deiters and Ulrike Griefahn:
Propagation Rule Compiler: Tool Specification
This document is concerned with the functional specification of the propagation rule compiler. The propagation rule compiler is a tool that essentially compiles deductive rules into trigger definitions. These triggers are called (active) propagation rules. They will be applied during transaction processing for determining the consequences of base data updates on derived concepts.
IDEA deliverable IDEA.DE.22.O.001, November 1994. 20 pages.
[View PostScript file (gzipped, 80 kB)]
Ulrike Griefahn, Rainer Manthey:
Propagation Rule Compiler: Tool Description
This document describes the Propagation Rule Compiler, a tool that aims at supporting developers of Chimera applications during schema design and prototyping. PROP consists of a rule compiler and an explanation facility. The task of the explanation facility is to graphically illustrate the logical dependencies established via deductive rules of a given Chimera schema. The purpose of the compilation unit is to generate update propagation triggers from deductive rules. Such triggers are able to automatically compute all implicit changes of a Chimera database once a specific updating transaction has been issued.
IDEA deliverable IDEA.DE.22.O.003, December 1995. 43 pages.
[View PostScript file (gzipped, 657 kB)]
Ulrike Griefahn, Thomas Rath:
Propagation Rule Compiler: Technical Documentation
The Propagation Rule Compiler (PROP) is a tool that aims at supporting developers of Chimera applications during schema design and prototyping. PROP consists of two components: the rule compiler as such and an explanation facility. The task of the explanation facility is to graphically illustrate the logical dependencies established via deductive rules of a given Chimera schema. The purpose of the compilation unit is to generate update propagation triggers from deductive rules. Such triggers are able to automatically compute all implicit changes of a Chimera database once a specific updating transaction has been issued. PROP has been integrated as a subcomponent into Bonn's Chimera Prototyping Tool (CPT). The purpose of this document is to provide the technical documentation of the rule compilation process.
IDEA deliverable IDEA.DE.22.O.005, May 1996.
45 pages.
Also issued as technical report IAI-TR-96-7, University of Bonn,
July 1996.
[View PostScript file (gzipped, 143 kB)]
Ulrike Griefahn, Thomas Rath:
Propagation Rule Compiler: User Manual
This document provides the user manual for the Propagation Rule Compiler (PROP) in its version 1.0.
IDEA working paper IDEA.WP.22.O.004, June 1996. 16 pages.
[View PostScript file (gzipped, 145 kB)]
Thomas Rath:
Optimierung und Implementierung eines Verfahrens zur Änderungspropagierung
in einem aktiven, deduktiven, objektorientierten Datenmodell
This diploma thesis describes the generation of update propagation triggers for the full declarative language of Chimera. In addition, it investigates optimizations of the approach presented in the technical documentation and describes the implementation of PROP version 2.0. (in German)
Diploma thesis, Universität Bonn, Institut für Informatik III, August 1996. 122 pages.
[View PostScript file (gzipped, 585 kB)]
Ulrike Griefahn:
Propagation Rule Compiler: Evaluation
This document evaluates the Propagation Rule Compiler (PROP) which has been developed at the Univ.~of Bonn and continuously improved within the last three years. The purpose of PROP is to analyze all deductive rules of a given Chimera schema implementing derived concepts (attributes, classes, views, and constraints). Based on this analysis it generates triggers which are able to compute all implicit changes once a particular updating transaction has been issued.In this paper we will first present a basic approach to the generation of un-optimized propagation triggers. This technique differs from the one presented in earlier deliverables in that it first derives deductive propagation rules for declaratively expressing the dependencies between explicit and implicit changes. Although PROP is able to deal with the entire Chimera model and language, we restrict our considerations to a subset of the deductive rule language. This subset includes all features raising interesting questions wrt~update propagation and at the same time allows a clear presentation of the techniques applied. Furthermore, we explain how the structure of the basically resulting triggers can be modified in order to enhance efficiency of update propagation. Finally, we discuss our approach in comparison with related methods.
IDEA deliverable IDEA.DE.22.O.009, March 1997. 32 pages.
[View PostScript file (gzipped, 125 kB)]