Rules in Database Systems : Third International Workshop, RIDS '97, Skövde, Sweden, June 26-28, 1997 Proceedings / edited by Andreas Geppert, Mikael Berndtsson.

Format:

Book

Contributor:

Geppert, Andreas, editor.

Berndtsson, Mikael, 1967- editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

Lecture notes in computer science 0302-9743 ; 1312.

Lecture Notes in Computer Science, 0302-9743 ; 1312

Language:

English

Subjects (All):

Data structures (Computer science).

Database management.

Data Structures and Information Theory.

Database Management.

Local Subjects:

Data Structures and Information Theory.

Database Management.

Physical Description:

1 online resource (VIII, 219 pages).

Edition:

First edition 1997.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.

System Details:

text file PDF

Summary:

This book constitutes the strictly refereed post-workshop proceedings of the Third International Workshop on Rules in Database Systems, RIDS '97, held in Skövde, June 1997. The 13 revised papers presented in the book were carefully reviewed and selected from 33 submissions. The book documents the state-of-the art in the area. The papers are devoted to deductive databases, active database systems architectures, events in workflow management, rule modelling and simulation, rule confluence, rule termination analysis, rule testing and validation, active database systems design.

Contents:

Deductive object-oriented database systems: A survey

Integrating dynamic aspects into deductive object-oriented databases

FOLRE: A deductive database system for the integrated treatment of updates

An introduction to the TriggerMan asynchronous trigger processor

Logging and post-mortem analysis of workflow executions based on event histories

Rule modelling and simulation in ALFRED

Using the properties of datalog to prove termination and confluence in active databases

On confluence property of active databases with meta-rules

An implementation and evaluation of the Refined Triggering Graph method for active rule termination analysis

Investigating termination in active database systems with expressive rule languages

On control flow testing of active rules in a declarative object-oriented framework

Validating active rules by planning

Active-design: A generic toolkit for deriving specific rule execution models.

Other Format:

Printed edition:

ISBN:

978-3-540-69588-2

9783540695882

Access Restriction:

Restricted for use by site license.