This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Delta Abstractions: A Technique for Managing Database States in Runtime Debugging of Active Database Rules
May/June 2003 (vol. 15 no. 3)
pp. 597-612
Susan D. Urban, IEEE Computer Society
Taoufik Ben Abdellatif, IEEE Computer Society
Suzanne W. Dietrich, IEEE Computer Society

Abstract—Delta abstractions are introduced as a mechanism for managing database states during the execution of active database rules. Delta abstractions build upon the use of object deltas, capturing changes to individual objects through a system-supported, collapsible type structure. The object delta structure is implemented using object-oriented concepts such as encapsulation and inheritance so that all database objects inherit the ability to transparently create and manage delta values. Delta abstractions provide an additional layer to the database programmer for organizing object deltas according to different language components that induce database changes, such as methods and active rules. As with object deltas, delta abstractions are transparently created and maintained by the active database system. We define different types of delta abstractions as views of object deltas and illustrate how the services of delta abstractions can be used to inspect the state of active rule execution. An active rule analysis and debugging tool has been implemented to demonstrate the use of object deltas and delta abstractions for dynamic analysis of active rules at runtime.

[1] S. Abiteboul, ”Towards a Deductive Object-Oriented Database Language,” Proc. Int'l Conf. Deductive and Object-Oriented Databases, pp. 453-472, 1989.
[2] A. Aiken, J. Widom, and J.M. Hellerstein, “Behavior of Database Production Rules: Termination, Confluence, and Observable Determination,” Proc. ACM SIGMOD Int'l Conf. Management of Data, M. Stonebraker, ed., pp. 59-68, May 1992.
[3] E. Banazet, H. Guehl, and M. Bouzeghoub, “VITAL: A Visual Tool for Analysis of Rule Behavior in Active Databases,” Rules in Database Systems, pp. 182-196, 1995.
[4] E. Baralis, S. Ceri, and J. Widom, “Better Termination Analysis for Active Databases,” Proc. First Workshop Rules in Database Systems (WICS), N.W. Paton and M.H. Williams, eds., pp. 163-179, Aug. 1993.
[5] E. Baralis, S. Ceri, and S. Paraboschi, “Improved Rule Analysis by Means of Triggered and Activation Graphs,” Proc. Rule in Database Systems: Second Int'l Workshop, (RIDS '95), pp. 165-181, Sept. 1995.
[6] E. Baralis, S. Ceri, and S. Paraboshi, “Runtime Detection of Non-Terminating Active Rule Systems,” Proc. Fourth Int'l Conf. Deductive and Object-Oriented Databases, T.W. Ling, A.O. Mendelzon, and L. Vieille eds., pp. 38-54, Dec. 1995.
[7] T. Ben Abdellatif, H.W.R. Chan, S.W. Dietrich, B Siddabathuni, A. Sundermier, and S.D. Urban, “Meta-Data Components in Support of an Active Deductive Object-Oriented Database System,” Proc. Third IEEE Meta-Data Conf., Apr. 1999.
[8] T. Ben Abdellatif, “An Architecture for Active Database Systems Supporting Rule Analysis Through Evolving Database States,” PhD disertation, Arizona State Univ., 1999.
[9] The Object-Oriented Database Standard: ODMG-93, R. Cattell, ed., San Francisco: Morgan Kaufmann, 1994.
[10] S. Ceri, P. Fraternali, S. Paraboschi, and L. Branca, “Active Rule Management in Chimera,” Active Database Systems: Trigger and Rules for Advanced Database Processing, 1996.
[11] S. Chakaravarthy, Z. Tamizuddin, and J. Zhou, “A Visualization and Explanation Tool for Debugging ECA Rules in Active Databases,” Rules in Database Systems, pp. 197-209, 1995.
[12] S. Chawathy, S. Abiteboul, and J. Widom, “Representing and Querying Changes in Semistructured Data,” Proc. IEEE 14th Int'l Conf. Data Eng., pp. 4-13, Feb. 1998.
[13] O. Diaz, A. Jaime, N. Paton, “DEAR: A DEbugger for Active Rules in an Object-Oriented Context,” Proc. First Int'l Workshop Rules in Database Systems, pp. 180-193, Sept. 1993.
[14] S.W. Dietrich, S.D. Urban, J.V. Harrison, and A.P. Karadimce, “A DOOD RANCH at ASU: Integrating Active, Deductive, and Object-Oriented Databases,” IEEE Data Eng. Bull., Special Issue on Active Databases, pp. 40-43, Dec. 1992.
[15] M. Doherty, R. Hull, and M. Rupawalla, “Structures for Manipulating Proposed Updates in Object-Oriented Databases,” SIGMOD Conf. Management of Data, pp. 306-317, 1996.
[16] A. Eliens, “HUSH—A C++ API for Tcl/Tk,” The X Resource, Issue 14, pp. 111-155, Apr. 1995.
[17] M. Frohlich and M. Werner, “The Graph Visualization Tool System daVinci—A User Interface for Applications,” Technical Report No. 5/94, Dept. of Computer Science, Univ. Bermen, Sept. 1994.
[18] U. Griefahn and R. Manthey, “Update Propagation in Chimera, an Active DOOD Language,” Proc. Fifth Int'l Workshop Deductive Approach to Information Systems and Databases, pp. 277-298, Sept. 1994.
[19] E. Hanson, “The Design and Implementation of the Ariel Active Database Rule System,” Technical Report CIS-TR-92-018, Univ. of Florida, 1992.
[20] J.K. Hollingsworth, B.P. Miller, and J. Cargille, “Dynamic Program Instrumentation for Scalable Performance Tools,” Proc. IEEE Scalable High Performance Computing Conf., pp. 841-850, 1994.
[21] A.P. Karadimce and S.D. Urban, “A Framework for Declarative Updates and Constraint Maintenence in Object-Oriented Database Systems,” Proc. Ninth Int'l Conf. Data Eng., Apr. 1993.
[22] A.P. Karadimce and S.D. Urban, “CDOL: A Declarative Platform for Developing OODB Applications,” Proc. Int'l Phoenix Conf. Computers and Comm., pp. 224-230, 1993.
[23] A.P. Karadimce, “Termination and Confluence of Active Rules in Active Object Databases,” PhD dissertation, Arizona State Univ., 1997.
[24] S. Kim and S. Chakravarthy, “A Practical Approach to Static Analysis and Execution of Rules in Active Databases,” Information and Knowledge Management, pp. 161-169, 1997.
[25] C. Lecluse, P. Richard, and F. Velez, “An Object-Oriented Data Model,” Proc. 1988 ACM SIGMOD Conf., pp. 424-433, 1988.
[26] Y.H. Lee, Y. Byun, J. Xiao, O. Goh, W.E. Wong, and A. Lee, “A Toolsuite for Testing Analysis of Real-Time Ada Applications,” Proc. IEEE Symp. Application-Specific Systems and Software Eng. Technology, pp. 65-69, 2000.
[27] The Common Object Request Broker: Architecture and Specification, Revision 2.0, Object Management Group, Inc., July 1995, updated July 1996,http://www.omg.org/corbacorbaiiop.htm
[28] J.K. Ousterhout, “Tcl: An Embedded Command Language,” Proc. USENIX Conf., 1990.
[29] J.K. Ousterhout, “An X11 Toolkit Based on the Tcl Language,” Proc. USENIX Conf., 1991.
[30] The Shore Project Group, An Overview of Shore, Version 0.9.3 Beta, Computer Science Dept., Univ. of Wisconsin-Madison, Sept. 1995.
[31] B. Siddabathuni, “Evaluation of the Comprehensive Declarative Object Language,” MS thesis, Dept. of Computer Science and Eng., Arizona State Univ., 1998.
[32] B. Siddabathuni, S.W. Dietrich, and S.D. Urban, “An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language,” Proc. Int'l Workshop Practical Aspects of Declarative Languages, pp. 163-177, 1999.
[33] A.M. Sloane, “Generating Dynamic Program Analysis Tools,” Proc. Australian Software Eng. Conf., pp. 16-173, 1997.
[34] M. Stonebraker, E. Hanson, and S. Potamianos, “The POSTGRES Rule Manager,” IEEE Trans. Software Eng., pp. 897-907, 1988.
[35] A. Sundermeir, T. Ben Abdellatif, S.W. Dietrich, and S.D. Urban, “Object Deltas in an Active Database Development Environment,” Proc. Deductive Object-Oriented Databases (DOOD '97), pp. 211-229, 1997.
[36] A. Sundermier, “Condition Monitoring in an Active, Deductive Object-Oriented Database,” Master Thesis, Dept. of Computer Science and Eng., Arizona State Univ., 1999.
[37] M.K. Tschudi, S.D. Urban, S.W. Dietrich, and A. Karadimce, “An Implementation and Evaluation of the Refined Triggering Graph Method for Active Rule Termination Analysis,” Proc. Rules in Database Systems Conf., pp. 133-148, June 1997.
[38] S.D. Urban, A.P. Karadimce, S.W. Dietrich, T. Ben Abdellatif, and H.W.R. Chan, “CDOL: A Comprehensive Declarative Object Language,” Data and Knowledge Eng., pp. 67-111, 1997.
[39] S.D. Urban, M.K. Tschudi, S.W. Dietrich, and A.P. Karadimce, “Active Rule Termination Analysis: An Implementation and Evaluation of the Refined Triggering Graph Method,” J. Intelligent Information Systems, vol. 12, no. 1, pp. 27-60, 1999.
[40] S.D. Urban, S.W. Dietrich, Y. Na, Y. Jin, A. Sundermier, and A. Saxena, “The IRules Project: Using Active Rules for the Integration of Distributed Software Components,” Proc. Ninth IFIP 2.6 Working Conf. Database Semantics: Semantic Issues in E-Commerce Systems, pp. 265-286, Apr. 2001.
[41] T. Weik and A. Heuer, “An Algorithm for the Analysis of Termination of Large Trigger Sets in an OODBMS,” Int'l Workshop Active and Real-Time Database Systems, Univ. of Skovde, Sweeden, pp. 170-189, June 1995.
[42] J. Widom, “The Starburst Rule System: Language Design, Implementation, and Applications” IEEE Data Eng. Bull., Dec. 1992.
[43] J. Widom, S. Ceri, and U. Dayal, Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann, 1996.

Index Terms:
Active database systems, object deltas, rule analysis and debugging.
Citation:
Susan D. Urban, Taoufik Ben Abdellatif, Suzanne W. Dietrich, Amy Sundermier, "Delta Abstractions: A Technique for Managing Database States in Runtime Debugging of Active Database Rules," IEEE Transactions on Knowledge and Data Engineering, vol. 15, no. 3, pp. 597-612, May-June 2003, doi:10.1109/TKDE.2003.1198393
Usage of this product signifies your acceptance of the Terms of Use.