Specifying active database systems in an object-oriented framework

International Journal of Software Engineering and Knowledge Engineering

Volumn 7, Issue 1, 1997, Pages 101-123

  Campin, Jack ^a   Paton, Norman ^b   Williams, M Howard ^a  

^a HERIOT WATT UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Active databases; DBMS; Formal specification; Object oriented

Indexed keywords

EID: 0344511315     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194097000059     Document Type: Article

References (35)

1. L. Kersten, A. Siebes and M. Van der Voort, "Towards a design theory for database triggers", in Database and Expert Systems Applications (DEXA), eds. I. Ramos and A. M. Tjoa (Springer-Verlag, 1992), pp. 338-344.
2. E. Baralis and J. Widom, "An algebraic approach to rule analysis in expert database systems", in Proc. 20th VLDB, eds. J. Bocca, M. Jarke and C. Zaniolo (Morgan Kaufmann, 1994), pp. 475-486.
3. H. Branding, A. Buchmann, T. Kudrass, and J. Zimmermann, "Rules in an open system: The REACH rule system", in Rules in Database Systems, eds. N. W. Paton and M. H. Williams (Springer-Verlag, 1994), pp. 111-126.
4. C. Bussler and S. Jablonski, "Implementing agent coordination for workflow management systems using active database systems", in Proc. 4th Int. Workshop on Research in Data Engineering (RIDE-ADS), eds. J. Widom and S. Charavarthy (IEEE, 1994), pp. 53-59.
5. S. Ceri and J. Widom, "Deriving production rules for constraint maintenance", in 16th Intl. Conf. in Very Large Data Bases (Morgan Kaufmann, 1990), pp. 567-577.
6. S. Chakravarthy, E. Anwar, L. Maugis, and D. Mishra, "Design of sentinel: an object-oriented DBMS with event-based rules", Information and Software Technology 36(9) (1994) 555-568.
7. D. K. C. Chan and P. W. Trinder, "An object-oriented data model supporting multimethods, multiple inheritance and static type checking", in Proc. 8th Z User Meeting (Springer-Verlag, 1994), pp. 297-315.
8. R. Chandra and A. Segev, "Active databases for financial applications", in Proc. 4th Int. Workshop on Research In Data Engineering (RIDE - ADS), eds. J. Widom and S. Charavarthy (IEEE, 1994), pp. 46-52.
9. T. Coupaye and C. Collet, "Denotational semantics for an active rule execution model", in Proc. 2nd Int. Workshop on Rules in Database Systems, ed. T. Sellis (Springer-Verlag, 1995), pp. 36-50.
10. U. Dayal, A. P. Buchmann and D. R. McCarthy, "Rules are objects too: A knowledge model for an active object oriented database system", in Proc. 2nd Intl. Workshop on OODBS, ed. K. R. Dittrich (Springer-Verlag, 1988), pp. 129-143.
11. M. Deng, A. P. Sistla, and O. Wolfson, "Temporal conditions with retroactive and proactive updates", in Active and Real-Time Database Systems (ARTDB-95), eds. M. Berndtsson and J. Hansson (Springer-Verlag, 1996), pp. 122-141.
12. O. Diaz, "Deriving rules for constraint maintenance in an object-oriented database", in Proc. Intl. Conf. on Databases and Expert Systems DEXA, eds. I. Ramos and A. M. Tjoa (Springer-Verlag, 1992), pp. 332-337.
13. O. Diaz, N. Paton and P. M. D. Gray, "Rule management in object oriented databases: a uniform approach", in Proc. 17th Intl. Conf. on Very Large Data Bases, eds. G. M. Lohman, A. Sernadas and R. Camps (Morgan Kaufmann, 1991), pp. 317-326.
14. A. Dinn, N. W. Paton, M. H. Williams, and A. A. A. Fernandes, "An active rule language for ROCK & ROLL", in Proc. 14th British National Conference on Databases (Springer-Verlag, 1996), pp. 36-55.
15. R. Duke, P. King, G. Rose, and G. Smith, "The object-Z specification language, version 1", Technical Report 91-1, Software Verification Research Centre, University of Queensland, 1991.
16. A. A. A. Fernandes, M. H. Williams and N. W. Paton, "A logic-based integration of active and deductive databases", to be published in New Generation Computing.
17. N. H. Gehani and H. V. Jagadish, "ODE as an active database: constraints and triggers", in Proc. 17th Intl. Conf. on Very Large Data Bases, eds. R. Camps, G. M. Lohman and A. Sernadas (Morgan Kaufmann, 1991), pp. 327-336.
18. E. N. Hanson, "Rule condition testing and action execution in Ariel", in Proc. SIG-MOD (ACM, 1992), pp. 49-58.
19. J. V. Harrison and S. W. Dietrich, "Integrating active and deductive rules", in Proc. 1st Int. Workshop on Rules in Database Systems, eds. N. W. Paton and M. H. Williams (Springer-Verlag, 1994), pp. 288-305.
20. G. Koch and K. Loney, ORACLE: The Complete Reference, 3rd Edition (McGraw-Hill, 1995).
21. R. Kowalski, "Database updates in the event calculus", J. Logic Programming 12 (1992) 121-146.
22. K. Lano and H. Haughton, eds., Object-Oriented Specification Case Studies (Prentice-Hall, 1993).
23. N. W. Paton, J. Campin, A. A. A. Fernandes, and M. H. Williams, "Formal specification of active database functionality: A survey", in Proc. 2nd Int. Workshop on Rules in Database Systems, ed. T. Sellis (Springer-Verlag, 1995), pp. 21-35.
24. N. W. Paton, O. Diaz and M. L. Barja, "Combining active rules and metaclasses for enhanced extensibility in object-oriented systems", Data and Knowledge Engineering 10 (1993) 45-63.
25. N. W. Paton, O. Diaz, M. H. Williams, J. Campin, A. Dinn, and A. Jaime, "Dimensions of active behaviour", in Proc. 1st Int. Workshop on Rules in Database Systems, eds. N. W. Paton and M. H. Williams (Springer-Verlag, 1994), pp. 40-57.
26. S. Reddi, A. Poulovassilis, and C. Small, "Extending a functional DBPL with ECA-rules", in Proc. 2nd Int. Wshp. on Rules in Database Systems, ed. T. Sellis (Springer-Verlag, 1995), pp. 101-115.
27. G. A. Rose, "Object-Z", in Object-Orientation in Z, eds. S. Stepney, R. Barden and D. Cooper (Springer-Verlag, 1992), pp. 59-77.
28. J. M. Spivey, The Z Notation: a reference manual (Prentice-Hall, 1992), 2nd edition.
29. M. Stonebraker, "The integration of rule systems and database systems", IEEE Trans. on Knowledge and Data Engineering 4(5) (1992) 415-423.
30. M. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos, "On rules, procedures, caching and views in database systems", in Proc. ACM SIGMOD, 1990, pp. 281-290.
31. M. Stonebraker, L. Rowe and M. Hirohama, "The implementation of POSTGRES", IEEE Transactions on Knowledge and Data Engineering 2(1) (1990).
32. J. Widom, "A denotational semantics for the Starburst production rule language", ACM SIGMOD Record 21 (3) (1992) 4-9.
33. J. Widom, R. J. Cochrane and B. G. Lindsay, "Implementing set-oriented production rules as an extension to Starburst", in Proc. 17th Intl. Conf. on Very Large Data Bases, eds. R. Camps, G. M. Lohman and A. Sernadas (Morgan Kaufmann, 1991), pp. 275-286.
34. C. Zaniolo, "A unified semantics for active and deductive databases", in Rules in Database Systems, eds. N. W. Paton and M. H. Williams (Springer-Verlag, 1994).
35. Y. Zhou and M. Hsu, "A theory for rule triggering systems", in Proc. Extending Database Technology (EDBT), eds. F. Bancilhon et al. (Springer-Verlag, 1990), pp. 407-421.