2nd International Workshop on
Rules In Database Systems
Athens, Greece
25-27 September 1995

Aim of the Workshop

Rules have been a major focus of research interest in database systems for more than a decade, the initial focus on deductive rules and integrity constraints being augmented by recent research into active rules. The aim of this workshop, which is the second after a very successful first workshop in Edinburgh (Scotland) in September 1993, is to bring together researchers working on both theoretical and practical aspects of rules in database systems, to examine the current state of the art, to explore relationships between different categories of rule systems, and to identify complementary areas for further development, as well as interesting applications.

The workshop is organized by the members of ACT-NET. ACT-NET is a "Human Capital and Mobility" network of Universities and Research Institutes funded by the European Union in order to foster collaboration on research in the area of Active Database Systems. The network currently includes Aberdeen, Athens, Darmstadt, Heriot-Watt, Karlsruhe, Pais Vasco and Versailles, Skovde, Linkoping as well as a non-EU member, Zurich.

Participation to the workshop will be limited (< 60) and is expected to be composed mostly by authors of papers presented.

Scope of the Workshop

Papers will be presented on topics including: For more information, contact: Prof. Timos Sellis, Computer Science Division, Dept. of Electrical and Computer Engineering, National Technical University of Athens, Zographou 157 73, Athens, Greece (email timos@theseas.ntua.gr; tel +30 1 7721601). Springer Verlag will publish the proceedings in their 'Lecture Notes in Computer Science' series.

Programme Committee

Social Events

Welcome reception on Sunday evening.

Excursion/Banquet: On Tuesday afternoon we will visit the Acropolis and will have dinner at a traditional Greek restaurant in the Plaka area, featuring lots of Greek music and dancing.

Workshop Program 


SUNDAY SEPTEMBER 24
20:30-23:00     Welcome Reception


MONDAY SEPTEMBER 25

8:30-9:00 Registration

9:00-9:15 Welcome

9:15-10:30     Session 1 - THE ACTIVE DBMS MANIFESTO
  Panelists: K. Dittrich, S. Ceri and M. Kersten
  Moderator: Peter M.D. Gray

10:30-11:00    Coffee Break

11:00-12:30    Session 2 - SEMANTICS FOR ACTIVE DATABASE SYSTEMS

  Formal Specification of Active Database Functionality: A Survey
  N. Paton, J. Campin, A. Fernandes, and M.H. Williams (SCOTLAND)

  Denotational Semantics for an Active Rule Execution Model
  T. Coupaye and C. Collet (FRANCE)

  Activity Specification Using Randezvous
  C. Tawbi, G. Jaber and M. Dalmau (FRANCE)

12:30-14:00    Lunch (provided)

14:00-15:30    Session 3 - ACTIVE BEHAVIOUR

  Reactive Behaviour Support: Themes and Variations
  R. Fernandez and O. Diaz (SPAIN)

  Reasoning About the Behavior of Active Database Applications
  O. Etzion (ISRAEL)

  Extending a Functional DBPL with ECA-rules
  S. Reddi, A. Poulovassilis and C. Small (UNITED KINGDOM)

15:30-16:00    Coffee Break

16:00-17:30    Session 4 - RULE BASE ORGANIZATION

  Rule Contexts in Active Databases - A Mechanism for Dynamic Rule Grouping
  M. Skold, E. Falkenroth and T. Risch (SWEDEN)

  Temporized and Localized Rule Sets
  R. Sturm, J.A. Mulle, and P.C. Lockemann (GERMANY)

  Design and Implementation of an Active Object-Oriented Database
  Supporting Construction of Database Tools
  I.S. Thomas and A.C. Jones (UNITED KINGDOM)

18:30-19:30    ACTNET Business Meeting (Only for ACTNET Members)

(Free Evening)


TUESDAY SEPTEMBER 26

9:00-10:30     Session 5 - RULE ANALYSIS

  Improving Rule Analysis by Means of Triggering and Activation Graphs
  E. Baralis, S. Ceri and S. Paraboschi (ITALY)

  VITAL: A Visual Tool for Analysis of Rules Behaviour in Active Databases
  E. Benazet, H. Guehl and M. Bouzeghoub (FRANCE)

  A Visualization and Explanation Tool for Debugging ECA Rules in Active
  Databases
  S. Chakravarthy, Z. Tamizudding and J. Zhou (USA)

10:30-11:00    Coffee Break

11:00-13:00    Session 6 - DEDUCTIVE DATABASES

  Optimization Strategies for Parallel Linear Recursive Query Processing
  T. Zurek and P. Thanisch (SCOTLAND)

  Planning Complex Updates to Satisfy Constraint Rules Using a Constraint
  Logic Search Engine
  S.M. Embury and P.M.D. Gray (SCOTLAND)

  Constant Propagation Versus Join Reordering in Datalog
  M.P. Consens, A. Mendelzon, D. Vista and P. Wood (CANADA & S. AFRICA)

  Compilation and Simplification of Temporal Integrity Constraints
  D. Plexousakis (CANADA)

13:00-14:30    Lunch (provided)

14:30-16:00    Session 7 - PANEL DISCUSSION
  Active Database Systems: Implementation Experiences
  Panelists: A. Buchmann, S. Chakravarthy, N. Paton, and S. Gatziu
  Moderator: K. Dittrich

16:00-????     Excursion and Banquet Dinner under the  Acropolis.

WEDNESDAY SEPTEMBER 27

9:00-10:30     Session 8 - IMPLEMENTATION AND BENCHMARKING

  An Active Component for a Parallel Database Kernel
  M.L. Kersten (THE NETHERLANDS)

  Using Delta Relations in Order to Optimize Condition Evaluation in Active Databases
  E. Baralis and J. Widom (ITALY & USA)

  A Designer's Benchmark for Active Database Management Systems:
  007 Meets the BEAST
  A. Geppert, S. Gatziu and K.R. Dittrich (SWITZERLAND)

10:30-11:00    Coffee Break

11:00-12:30    Session 9 - COOPERATIVE SYSTEMS

  Realization of Cooperative Agents using an Active Object-Oriented
  Database System
  A. Geppert, M. Kradolfer and D. Tombros (SWITZERLAND)

  Active Databases and Agent Systems - A Comparison
  J. Bailey, M. Georgeff, D.B. Kemp, D. Kinny and K. Ramamohanarao (AUSTRALIA)

  Recovering Active Databases
  O. Zukunft (GERMANY)

12:30     Bye and End of the Workshop