Incremental Recomputation of Active Relational Expressions

Database updates are small and incremental compared to database contents. It is therefore desirable that recomputations of active relational expressions-such as views, derived data, integrity constraints, active queries, and monitors-can also be performed incrementally. An efficient algorithm for the incremental recomputation of active relational expressions based on finite differencing techniques is presented. Database updates are modeled as incremental changes to database relations, and the algorithm derives, by update propagation, the minimal incremental relational expressions that need recomputation. The algorithm has applications in the maintenance of materialized views and derived data, the checking of integrity constraints, and the evaluation of active queries and monitors. >

[1]  Robert Paige,et al.  A Transformational Framework for the Automatic Control of Derived Data , 1981, VLDB.

[2]  Robert Paige,et al.  Finite Differencing of Computable Expressions , 1982, TOPL.

[3]  Roger King,et al.  The Cactis Project: Database Support for Software Environment , 1988, IEEE Trans. Software Eng..

[4]  Xiaolei Qian.  An effective method for integrity constraint simplification , 1988, Proceedings. Fourth International Conference on Data Engineering.

[5]  Edmund M. Clarke,et al.  Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data , 1980, VLDB.

[6]  Surajit Chaudhuri,et al.  Managing Objects in a Relational Framework , 1989 .

[7]  Eric K. Clemons,et al.  Efficiently monitoring relational databases , 1979, ACM Trans. Database Syst..

[8]  Michael Stonebraker,et al.  Implementation of integrity constraints and views by query modification , 1975, SIGMOD '75.

[9]  Tore Risch,et al.  Monitoring Database Objects , 1989, VLDB.

[10]  Frank Wm. Tompa,et al.  Efficiently updating materialized views , 1986, SIGMOD '86.

[11]  Lawrence J. Henschen,et al.  Compiling Constraint-Checking Programs from First-Order Formulas , 1982, Advances in Data Base Theory.

[12]  Randy H. Katz,et al.  Managing Change in a Computer-Aided Design Database , 1987, Research Foundations in Object-Oriented and Semantic Database Systems.

[13]  Sharma Chakravarthy,et al.  Situation Monitoring for Active Databases , 1989, VLDB.

[14]  Robert Paige,et al.  Applications of Finite Differencing to Database Integrity Control and Query/Transaction Optimization , 1982, Advances in Data Base Theory.

[15]  Umeshwar Dayal,et al.  The architecture of an active database management system , 1989, SIGMOD '89.