Invariance, maintenance, and other declarative objectives of triggers - A formal characterization of active databases

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1861, Issue , 2000, Pages 1210-1224

  Nakamura, Mutsumi ^a   Baral, Chitta ^b  

^a UNIVERSITY OF TEXAS AT ARLINGTON   (United States)

^b ARIZONA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACTIVE DATABASE; SHOW THROUGH; SYSTEMATIC DESIGNS;

LOGIC PROGRAMMING; MAINTENANCE; SPECIFICATIONS;

DATABASE SYSTEMS;

EID: 23044519826     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44957-4_81     Document Type: Conference Paper

References (12)

1. P. Atzeni and V. De Antonellis. Relational database theory. The Ben-jamin/Cummings publishing company, 1993.
2. C. Baral and J. Lobo. Formal characterization of active databases. In Proc. of InternationalWorkshop on Logic in Databases-LID'96 (LNCS 1154), pages 175-195, 1996.
3. C. Baral, J. Lobo, and G. Trajcevski. Form al characterization of active databases: Part II. In DOOD 97, 1997.
4. S. Ceri and P. Fraternali. Designing database applications with objects and rules-the IDEA methodology. Addison-Wesley, 1997.
5. D. Chamberlin. Using the new DB2: IBM's Object-relational database system. Morgan Kaufmann, 1996.
6. J. Chomicki and D. Toman. Implementing temporal integrity constraints using an active dbms. IEEE transactions on knowledge and data engineering, 1995.
7. M. Gelfond and V. Lifschitz. Representing actions and change by logic pro-grams. Journal of Logic Programming, 17(2,3,4):301-323, 1993.
8. N. Paton. Active rules in database systems. Springer-Verlag, 1998.
9. A. Silberschatz, H. Korth, and S. Sudershan. Database System Concepts. McGraw Hill, 3rd edition, 1996.
10. J. Ullman. Principles of Database and Knowledge-base Systems, volume I. Computer Science Press, 1988.
11. J. Widom and S Ceri, editors. Active Database Systems-Triggers and Rules for advanced database processing. Morgan Kaufmann, 1996.
12. J. Widom. The Starbust rule system. In J. Widom and S Ceri, editors, Active Database Systems, pages 87-110. Morgan Kaufmann, 1996.