Ulrike Griefahn and Thomas Rath. Propagation rule compiler: Technical documentation. Technical Report IDEA.DE.22.O.005, ESPRIT project P6333 (IDEA), University of Bonn, Germany, May 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Propagation Rule Compiler: Evaluation - Manthey (Correct)
....to change computation in the object oriented context of Chimera. In addition, it allows to provide a clear presentation of the basic transformation technique underlying PROP. An extension towards the entire Chimera language is straightforward and has been described in earlier contributions (cf [GM95, GR96]) In this paper we will only deal with the changes that may be induced on object classes as well as on their attributes and targeted constraints. Hence, we do not consider effects that may be induced on value classes, views, and untargeted constraints. Operations, targeted and untargeted triggers ....
Ulrike Griefahn and Thomas Rath. Propagation rule compiler: Technical documentation. Technical Report IDEA.DE.22.O.005, ESPRIT project P6333 (IDEA), University of Bonn, Germany, May 1996.
Propagation Rule Compiler: User Manual - Griefahn, Rath (Correct)
....changes once a particular updating transaction has been issued. In this way, Chimera designers will be liberated from the exhausting and difficult task of programming a considerable amount of complex triggers themselves. The techniques of rule compilation have been extensively documented in [GM94, DG94, GM95, GR95]. The graphical interface of PROP extends CPT GUI by offering the possibility of making explicit the logical dependencies between schema components. By simulating update sequences on an abstract level (ie, independent from real data) a graphical representation of such dependencies is expanded step ....
Ulrike Griefahn and Thomas Rath. Propagation Rule Compiler: Technical documentation. Technical Report IDEA.DE.22.O.005, University of Bonn, Germany, May 1995. ESPRIT project P6333 (IDEA). ESPRIT Project 6333
Tools for Chimera: An Environment for Designing and.. - Griefahn, Lemke, Manthey Self-citation (Griefahn) (Correct)
....of the inherent complexity introduced via deductive rules. In the following we will first briefly address the course of rule compilation and then illustrate the main features of the graphical explanation component. For a complete technical documentation on rule compilation we refer to [13] while a more detailed description of the explanation component can be found in [12] Figure 5: PROP: Explaining logical dependencies 5.1 Rule Compilation The update propagation approach underlying PROP essentially transfers techniques developed for relational deductive databases, e.g. 7, 18] ....
U. Griefahn and T. Rath. Propagation rule compiler: Technical documentation. IDEA deliverable IDEA.DE.22.O.005, University of Bonn, 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC