PEARD: A prototype environment for active rule debugging

Journal of Intelligent Information Systems

Volumn 7, Issue 2, 1996, Pages 111-128

  Jähne, Alexander ^a   Urban, Susan D ^b   Dietrich, Suzanne W ^b  

^a Union Bank of Switzerland   (Switzerland)

^b Arizona State University   (United States)

Author keywords

Active database systems; Confluence; Rule analysis; Rule debugging; Rule visualization; Termination

Indexed keywords

COLOR COMPUTER GRAPHICS; KNOWLEDGE BASED SYSTEMS; PROGRAM DEBUGGING;

ACTIVE DATABASE SYSTEMS; EVENT CONDITION ACTION RULE; PROTOTYPE ENVIRONMENT FOR ACTIVE RULE DEBUGGING (PEARD);

DATABASE SYSTEMS;

EID: 0030260037     PISSN: 09259902     EISSN: None     Source Type: Journal    
DOI: 10.1007/bf00127778     Document Type: Article

References (24)

1. Aiken, A., Widom, J., and Hellerstein, J. (1992). Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. In Proceedings of the ACM SIGMOD International Conference on Management of Data (pp. 59-68). San Diego.
2. Baralis, E., Ceri, S., and Widom, J. (1993). Better Termination Analysis for Active Databases. In Proceedings of the First International Workshop on Rules in Database Systems (pp. 163-179). Edinburgh, Scotland.
3. Baralis, E., Ceri, S., and Paraboschi, P. (1995). Run-Time Detection of Non-Terminating Active Rule Systems. Proceedings of the Conference on Deductive Object-Oriented Databases, Singapore. In Lecture Notes in Computer Science, December, 1995.
4. Behrends, H. (1994). Simulation-Based Debugging of Active Databases. In International Workshop on Research Issues in Data Engineering: Active Database Systems (pp. 172-180). Houston.
5. Benazet, E., Guehl, H., and Bouzeghoub, M. (1995). VITAL: A Visual Tool for Analysis of Rule Behavior in Active Databases. In T. Sellis (Ed.). Proceedings of the Rules in Databases Conference (pp. 182-196), Athens, Greece.
6. Booch, G. (1994). Object-Oriented Analysis and Design with Applications, Second Edition, Benjamin Cummings.
7. Ceri, S. and Widom, J. (1990). Deriving Production Rules for Constraint Maintenance. In Proceedings of the Sixteenth International Conference on Very Large Databases (pp. 566-577). Brisbane.
8. Ceri, S., Fraternali, P., Paraboschi, S., and Tanca, L. (1996). Active Rule Management in Chimera. In J. Widom and S. Ceri (Eds.). Active Database Systems: Triggers and Rules for Advanced Database Processing (pp. 151-176). San Francisco: Morgan Kaufmann Publishers.
9. Chakravarthy, S., Tamizuddin, Z., and Zhou, J. (1995). A Visualization and Explanation Tool for Debugging ECA Rules in Active Databases. In T. Sellis (Ed.). Proceedings of the Rules in Databases Conference (pp. 197-209). Athens, Greece.
10. Díaz, O., Jaime, A., and Paton, N.W. (1993). DEAR: A Debugger for Active Rules in an Object-Oriented Context. In Proceedings of the First International Workshop on Rules in Database Systems (pp. 180-193). Edinburgh, Scotland.
11. Harrison, J. and Dietrich, S. (1993). Integrating Active and Deductive Rules. Proceedings of the 1st International Workshop on Rules in Databases (pp. 288-305). Edinburgh, Scotland: Springer-Verlag.
12. Jähne, A. (1995). A Prototype of a Run-Time Debugging Environment for Active Database Rules. M.S. Thesis, Department of Computer Science and Engineering, Arizona State University.
13. Karadimce, A. and Urban, S.D. (1991). Diagnosing Anomalous Rule Behavior in Deductive Object-Oriented Databases with Integrity Maintenance Production Rules. Proceedings of the Third International Workshop on Foundations of Models and Languages for Data and Objects (pp. 77-102). Aigen, Austria.
14. Karadimce, A. and Urban, S.D. (1993). A Framework for Declarative Update and Constraint Maintenance in Object-Oriented Databases. Proceedings of the Ninth International Conference on Data Engineering (pp. 391-398). Vienna, Austria.
15. Karadimce, A. and Urban, S.D. (1994). Conditional Term Rewriting Systems as a Formal Basis for Analysis of Active Rules. In International Workshop on Research Issues in Data Engineering: Active Database Systems (pp. 156-162). Houston.
16. Karadimce, A. and Urban, S.D. (1996). Proving Termination of Active Rules in OODBs. Proceedings of the International Conference on Data Engineering (pp. 384-391). New Orleans.
17. Lamb, C., Landis, G., Orenstein, J., and Weinreb, D. (1991). The Objectstore Database System. Communications of the ACM, 34(10), 50-63.
18. Montesi, D. and Torlone, R. (1994). A Rewriting Technique for Implementing Active Object Systems. In E. Bertino and S. Urban (Eds.). Object-Oriented Methodologies and Systems. Lecture Notes in Computer Science, 858, pp. 171-188, Springer-Verlag.
19. Stonebraker, M. (1992). The Integration of Rule Systems and Database Systems. IEEE Transactions on Knowledge and Data Engineering, 4(5), 415-423.
20. Urban, S. and Delcambre, L. (1992). Constraint Analysis: Identifying Design Alternatives for Operations on Complex Objects. In IEEE Transactions on Knowledge and Data Engineering, 2(4), 391-400.
21. Urban, S., Karadimce, A., Dietrich, S., Abdellatif, T., and Chan, R. (1996). CDOL: A Comprehensive Declarative Object Language. Revised manuscript under review for Data and Knowledge Engineering, 1996.
22. Visual Works Users Guide. (1992). Version 1.0, ParcPlace Systems, Sunnyvale, California.
23. Widom, J. (1994). Research Issues in Active Database Systems: Report from the Closing Panel at RIDE-ADS 94. Sigmod Record, 23(3), 41-43.
24. Widom, J. and Ceri, S. (1996). Active Database Systems: Triggers and Rules for Advanced Database Processing. San Francisco: Morgan Kaufmann.