2. RIDS 1995: Athens, Greece

Timos K. Sellis (Ed.): Rules in Database Systems, Second International Workshop, RIDS '95, Glyfada, Athens, Greece, September 25 - 27, 1995, Proceedings. Lecture Notes in Computer Science 985 Springer 1995, ISBN 3-540-60365-4 BibTeX

This book constitutes the refereed proceedings of the Second International Workshop on Rules in Database Systems, RIDS '95, held in Athens, Greece, in September 1995. The book presents 22 revised full papers selected during a very careful reviewing process from a total of 47 submissions. In addition, there is a detailed invited introduction for a panel discussion on the Active Database Management Systems Manifesto. The papers are organized in sections on semantics for database systems, active behavior, rule base organization and modeling, rule analysis, deductive databases, implementation and benchmarking of active database systems, and cooperative systems support.

The Active DBMS Manifesto

• Klaus R. Dittrich, Stella Gatziu, Andreas Geppert: The Active Database Management System Manifesto: A Rulebase of ADBMS Features. 3-20 BibTeX

Semantics for Active Database Systems

• Norman W. Paton, Jack Campin, Alvaro A. A. Fernandes, M. Howard Williams: Formal Specification of Active Database Functionality: A Survey. 21-37 BibTeX
• Thierry Coupaye, Christine Collet: Denotational Semantics for an Active Rule Execution Model. 36-50 BibTeX
• Chawki Tawbi, Ghaleb Jaber, Marc Dalmau: Activity Specification Using Randezvous. 51-68 BibTeX

Active Behaviour

• Ray Fernández, Oscar Díaz: Reactive Behaviour Support: Themes and Variations. 69-85 BibTeX
• Opher Etzion: Reasoning About the Behavior of Active Database Applications. 86-100 BibTeX
• Swarup Reddi, Alexandra Poulovassilis, Carol Small: Extending a Functional DBPL with ECA-rules. 101-118 BibTeX

Rule Base Organization

• Martin Sköld, Esa Falkenroth, Tore Risch: Rule Contexts in Active Databases - A Mechanism for Dynamic Rule Grouping. 119-130 BibTeX
• Rose Sturm, Jutta A. Mülle, Peter C. Lockemann: Temporized and Localized Rule Sets. 131-146 BibTeX
• Ian S. Thomas, Andrew C. Jones: Design and Implementation of an Active Object-Oriented Database Supporting Construction of Database Tools. 147-164 BibTeX

Rule Analysis

• Elena Baralis, Stefano Ceri, Stefano Paraboschi: Improving Rule Analysis by Means of Triggering and Activation Graphs. 165-181 BibTeX
• Emmanuel Benazet, Hervé Guehl, Mokrane Bouzeghoub: VITAL: A Visual Tool for Analysis of Rules Behaviour in Active Databases. 182-196 BibTeX
• Sharma Chakravarthy, Z. Tamizuddin, J. Zhou: A Visualization and Explanation Tool for Debugging ECA Rules in Active Databases. 197-212 BibTeX

Deductive Databases

• Thomas Zurek, Peter Thanisch: Strategies for Parallel Linear Recursive Query Processing. 213-229 BibTeX
• Suzanne M. Embury, Peter M. D. Gray: Planning Complex Updates to Satisfy Constraint Rules Using a Constraint Logic Search Engine. 230-244 BibTeX
• Mariano P. Consens, Alberto O. Mendelzon, Dimitra Vista, Peter T. Wood: Constant Propagation Versus Join Reordering in Datalog. 245-259 BibTeX
• Dimitris Plexousakis: Compilation and Simplification of Temporal Integrity Constraints. 260-276 BibTeX

Implementation and Benchmarking of Active Database Systems

• Martin L. Kersten: An Active Component for a Parallel Database Kernel. 277-291 BibTeX
• Elena Baralis, Jennifer Widom: Using Delta Relations to Optimize Condition Evaluation in Active Databases. 292-308 BibTeX
• Andreas Geppert, Stella Gatziu, Klaus R. Dittrich: A Designer's Benchmark for Active Database Management Systems: oo7 Meets the BEAST. 309-326 BibTeX

Cooperative System Support

• Andreas Geppert, Markus Kradolfer, Dimitris Tombros: Realization of Cooperative Agents using an Active Object-Oriented Database System. 327-341 BibTeX
• James Bailey, Michael P. Georgeff, David B. Kemp, David Kinny, Kotagiri Ramamohanarao: Active Databases and Agent Systems - A Comparison. 342-356 BibTeX
• Olaf Zukunft: Recovering Active Databases. 357-371 BibTeX