This book is the proceedings of a workshop held at Heriot-Watt University in Edinburgh in August 1993. The central theme of the workshop was rules in database systems, and the papers presented covered a range of different aspects of database rule systems. These aspects are reflected in the sessions of the workshop, which are the same as the sections in this proceedings: Active Databases Architectures Incorporating Temporal Rules Rules and Transactions Analysis and Debugging of Active Rules Integrating Graphs/Objects with Deduction Integrating Deductive and Active Rules Integrity Constraints Deductive Databases The incorporation of rules into database systems is an important area of research, as it is a major component in the integration of behavioural information with the structural data with which commercial databases have traditionally been associated. This integration of the behavioural aspects of an application with the data to which it applies in database systems leads to more straightforward application development and more efficient processing of data. Many novel applications seem to need database systems in which structural and behavioural information are fully integrated. Rules are only one means of expressing behavioural information, but it is clear that different types of rule can be used to capture directly different properties of an application which are cumbersome to support using conventional database architectures. In recent years there has been a surge of research activity focusing upon active database systems, and this volume opens with a collection of papers devoted specifically to this topic.

Inhalt

Active Databases.- Activities in Object Bases.- Events in an Active Object-Oriented Database System.- Dimensions of Active Behaviour.- Rule and Knowledge Management in an Active Database System.- Architectures Incorporating Temporal Rules.- Temporal Rule Specification and Management in Object-Oriented Knowledge Bases.- Data Driven and Temporal Rules in PARDES.- Rules and Transactions.- Rules in an Open System: The REACH Rule System.- Rule-Based Implementation of Transaction Model Specifications.- Transaction Management to Support Rule Based Database Applications.- Analysis and Debugging of Active Rules.- Better Termination Analysis for Active Databases.- DEAR: A DEbugger for Active Rules in an Object-Oriented Context.- Enforcing Confluence of Rule Execution.- Integrating Graphs/Objects with Deduction.- Merging Graph Based and Rule Based Computation.- A Logical Query Language for an Object-Oriented Data Model.- Semi-Naive Evaluation for Hyperlog, a Graph-Based Language for Complex Objects.- Integrating Deductive and Active Rules.- A Unified Semantics for Active and Deductive Databases.- Integrating Active and Deductive Rules.- Deductive and Active Databases: Two Paradigms or Ends of a Spectrum?.- A Framework for Supporting Triggers in Deductive Databases.- Integrity Constraints.- A Review of Repairing Techniques for Integrity Maintenance.- Implementing Relationships and Constraints in an Object-Oriented Database Using a Monitor Construct.- Constraint Maintenance Using Generated Methods in the P/FDM Object-Oriented Database.- Deductive Databases.- A Heuristic for Rule Allocation in Distributed Deductive Database Systems.- Bottom-Up Evaluation of DataHiLog.- Author Index.