Institute of Computer Science III
University of Bonn
Databases * Information Systems * Software Engineering *
Pattern Recognition * Image Processing * Artificial Intelligence * Robotics
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.
Click here to obtain the full paper (PS, gzip, 171107 bytes, 42 pages)
webmaster@www.informatik.uni-bonn.de -
16.12.05