Ebook: Rules in Database Systems: Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August–1 September 1993

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.

---

The incorporation of rules in database systems has been an important area of database research for more than a decade. It plays a major role in the integration of behavioural information and the structural data with which commercial databases have traditionally been associated. This integration can lead to a more straightforward application development and also to more efficient processing of data. Furthermore many novel applications seem to need database systems in which structural and behavioural information are fully integrated. This volume contains papers from the 1st International Workshop on Rules in Database Systems, which brought together researchers working on a variety of different aspects of rules in database systems. The aims of the workshop were to examine the current state of the art, to explore relationships between different categories of rule system, and to identify complementary areas for further development. The resulting volume deals with both the theoretical and practical issues relating to rules in database systems. Recent results are reported on different aspects of and approaches to database rules including active databases, deductive databases, integrity constraints, and the integration of active and deductive technologies. Particular emphasis is given to active rules, an issue which has recently come to the forefront of database research.

---

The incorporation of rules in database systems has been an important area of database research for more than a decade. It plays a major role in the integration of behavioural information and the structural data with which commercial databases have traditionally been associated. This integration can lead to a more straightforward application development and also to more efficient processing of data. Furthermore many novel applications seem to need database systems in which structural and behavioural information are fully integrated. This volume contains papers from the 1st International Workshop on Rules in Database Systems, which brought together researchers working on a variety of different aspects of rules in database systems. The aims of the workshop were to examine the current state of the art, to explore relationships between different categories of rule system, and to identify complementary areas for further development. The resulting volume deals with both the theoretical and practical issues relating to rules in database systems. Recent results are reported on different aspects of and approaches to database rules including active databases, deductive databases, integrity constraints, and the integration of active and deductive technologies. Particular emphasis is given to active rules, an issue which has recently come to the forefront of database research.

Content:
Front Matter....Pages i-xiii
Front Matter....Pages 1-1
Activities in Object Bases....Pages 3-22
Events in an Active Object-Oriented Database System....Pages 23-39
Dimensions of Active Behaviour....Pages 40-57
Rule and Knowledge Management in an Active Database System....Pages 58-69
Front Matter....Pages 71-71
Temporal Rule Specification and Management in Object-oriented Knowledge Bases....Pages 73-91
Data Driven and Temporal Rules in PARDES....Pages 92-108
Front Matter....Pages 109-109
Rules in an Open System: The REACH Rule System....Pages 111-126
Rule-Based Implementation of Transaction Model Specifications....Pages 127-142
Transaction Management to Support Rule Based Database Applications....Pages 143-159
Front Matter....Pages 161-161
Better Termination Analysis for Active Databases....Pages 163-179
DEAR: a DEbugger for Active Rules in an object-oriented context....Pages 180-193
Enforcing Confluence of Rule Execution....Pages 194-207
Front Matter....Pages 209-209
Merging Graph Based and Rule Based Computation....Pages 211-233
A Logical Query Language for an Object-Oriented Data Model....Pages 234-250
Semi-Naive Evaluation for Hyperlog, a Graph-Based Language for Complex Objects....Pages 251-267
Front Matter....Pages 269-269
A Unified Semantics for Active and Deductive Databases....Pages 271-287
Integrating Active and Deductive Rules....Pages 288-305
Deductive and Active Databases: Two Paradigms or Ends of a Spectrum?....Pages 306-315
A Framework for Supporting Triggers in Deductive Databases....Pages 316-330
Front Matter....Pages 331-331
A Review of Repairing Techniques for Integrity Maintenance....Pages 333-346
Front Matter....Pages 331-331
Implementing Relationships and Constraints in an Object-Oriented Database Using a Monitor Construct....Pages 347-363
Constraint Maintenance using Generated Methods in the P/FDM Object-Oriented Database....Pages 364-381
Front Matter....Pages 383-383
A Heuristic for Rule Allocation in Distributed Deductive Database Systems....Pages 385-400
Bottom-Up Evaluation of DataHiLog....Pages 401-415
Back Matter....Pages 417-420

---

The incorporation of rules in database systems has been an important area of database research for more than a decade. It plays a major role in the integration of behavioural information and the structural data with which commercial databases have traditionally been associated. This integration can lead to a more straightforward application development and also to more efficient processing of data. Furthermore many novel applications seem to need database systems in which structural and behavioural information are fully integrated. This volume contains papers from the 1st International Workshop on Rules in Database Systems, which brought together researchers working on a variety of different aspects of rules in database systems. The aims of the workshop were to examine the current state of the art, to explore relationships between different categories of rule system, and to identify complementary areas for further development. The resulting volume deals with both the theoretical and practical issues relating to rules in database systems. Recent results are reported on different aspects of and approaches to database rules including active databases, deductive databases, integrity constraints, and the integration of active and deductive technologies. Particular emphasis is given to active rules, an issue which has recently come to the forefront of database research.

Content:
Front Matter....Pages i-xiii
Front Matter....Pages 1-1
Activities in Object Bases....Pages 3-22
Events in an Active Object-Oriented Database System....Pages 23-39
Dimensions of Active Behaviour....Pages 40-57
Rule and Knowledge Management in an Active Database System....Pages 58-69
Front Matter....Pages 71-71
Temporal Rule Specification and Management in Object-oriented Knowledge Bases....Pages 73-91
Data Driven and Temporal Rules in PARDES....Pages 92-108
Front Matter....Pages 109-109
Rules in an Open System: The REACH Rule System....Pages 111-126
Rule-Based Implementation of Transaction Model Specifications....Pages 127-142
Transaction Management to Support Rule Based Database Applications....Pages 143-159
Front Matter....Pages 161-161
Better Termination Analysis for Active Databases....Pages 163-179
DEAR: a DEbugger for Active Rules in an object-oriented context....Pages 180-193
Enforcing Confluence of Rule Execution....Pages 194-207
Front Matter....Pages 209-209
Merging Graph Based and Rule Based Computation....Pages 211-233
A Logical Query Language for an Object-Oriented Data Model....Pages 234-250
Semi-Naive Evaluation for Hyperlog, a Graph-Based Language for Complex Objects....Pages 251-267
Front Matter....Pages 269-269
A Unified Semantics for Active and Deductive Databases....Pages 271-287
Integrating Active and Deductive Rules....Pages 288-305
Deductive and Active Databases: Two Paradigms or Ends of a Spectrum?....Pages 306-315
A Framework for Supporting Triggers in Deductive Databases....Pages 316-330
Front Matter....Pages 331-331
A Review of Repairing Techniques for Integrity Maintenance....Pages 333-346
Front Matter....Pages 331-331
Implementing Relationships and Constraints in an Object-Oriented Database Using a Monitor Construct....Pages 347-363
Constraint Maintenance using Generated Methods in the P/FDM Object-Oriented Database....Pages 364-381
Front Matter....Pages 383-383
A Heuristic for Rule Allocation in Distributed Deductive Database Systems....Pages 385-400
Bottom-Up Evaluation of DataHiLog....Pages 401-415
Back Matter....Pages 417-420
....