상세정보

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.

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.

정보제공 :

CONTENTS
Acknowledgements = Xiii
Active Databases
 Activities in Object Bases / P.C. Lockemann ; H.D. Walter = 3
 Events in an Active Object-Oriented Database System / S. Gatziu ; K.R. Dittrich = 23
 Dimensions of Active Behaviour / N.W. Paton ; O.  Diaz ; M.H. Williams ; J. Campin ; A. Dinn ; A. Jaime = 40
 Rule and Knowledge Management in an Active Databases System / W. Naqvi ; M.T. Ibrahim = 58
Architectures Incorporating Temporal Rules
 Temporal Rule Specification  and Management in  Object-Oriented Knowledge Bases / S.Y.W. Su ; H.H.M. Chen = 73
 Data Driven and Temporal Rules in PARDES / O. Etzion ; A. Gal : A. Segev = 92
Rules and Transactions
 Rules in an Open System : The REACH Rule System / H. Branding ; A. Buchmann ; T. Kudrass ; J. Zimmermann = 111
 Rule-Based Implementation of Transaction Model Specifications / A. Geppert ; K.R. Dittrich = 127
 Transaction Management to Support Rule Based Database Applications / C. Danner ; M. Ranft = 143
Analysis and Debugging Active Rules
 Better Termaination Analysis for Active Databases / E. Baralis ; S. Ceri ; J. Widom = 163
 DEAR : A DEbugger for Active Rules in an Object-Oriented Context / O. Diaz ; A. Jaime ; N.W. Paton = 180
 Enforcing Confluence of Rule Execution / L. van der Voort ; A. Siebes = 194
Integrating Graphs / Objects with Deduction
 Merging Graph Based and Rule Based Computation / J. Paredaens ; P. Peelman ; L. Tanca = 211
 A Logical Query Language for an Object-Oriented Data Model / A.A.A. Fernandes ; N.W. Paton and M.H. Williams = 234
 Semi-Naive Evaluation for Hyperlog, a Graph-Based Language for Complex Objects / K. Benkerimi ; A. Poulovassilis = 251
Integrating Deductive and Active Rules
 A Unified Semantics for Active and Deductive Databases / C. Zaniolo = 271
 Integrating active and Deductive Rules / J.V. Harrison ; S.W. Dietrich = 288
 Deductive and Active Databases : Two Paradigms or Ends of a Spectrum? / J. Widom
= 306
 A Framework for Supporing Triggers in Deductive Databases / P. Bayer ; W. Jonker =
316
Integrity Contraints
 A Review of Repairing Techniques for Integrity Maintenance / P. Fraternali ; S. Paraboschi = 333
 Implementing Relationships and Constraints in an Object-Oriented Database Using a Monitor Construct / M. Doherty ; J.Peckham ; V.F. Wolfe = 347
 Constraint Maintenance Using Generated Methods in the P / FDM Object-Oriented Database / S.M. Embury ; P.M.D. Gray ; N.D. Bassiliades = 364
Deductive Databases
 A Heuristic for Rule Allocation in Dirtributed Deductive Database Systems / M.K. Mohania ; N.L. Sarda = 385
 Bottom-Up Evaluation of Data HiLog / P.T. Wood = 401
Author Index = 417