Research Catalog

Rules in database systems : Third International Workshop, RIDS '97, Skövde, Sweden, June 1997 : proceedings

Title
Rules in database systems : Third International Workshop, RIDS '97, Skövde, Sweden, June 1997 : proceedings / Andreas Geppert, Mikael Berndtsson, (eds.).
Author
International Workshop on Rules in Database Systems (3rd : 1997 : Skövde, Sweden)
Publication
New York : Springer, 1997.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.9.D3 I594 1997Off-site

Holdings

Details

Additional Authors
  • Geppert, Andreas.
  • Berndtsson, Mikael, 1967-
Description
214 pages : illustrations; 24 cm.
Series Statement
Lecure notes in computer science ; 1312
Uniform Title
Lecture notes in computer science ; 1312.
Subject
Bibliography (note)
  • Includes bibliographical references and index.
Contents
  • Deductive Object-Oriented Database Systems: A Survey / P. R. F. Sampaio and N. W. Paton -- Integrating Dynamic Aspects into Deductive Object-Oriented Databases / W. May, C. Schlepphorst and G. Lausen -- FOLRE: A Deductive Database System for the Integrated Treatment of Updates / E. Mayol, J. A. Pastor and E. Teniente [et al.] -- An Introduction to the TriggerMan Asynchronous Trigger Processor / E. N. Hanson and S. Khosla -- Logging and Post-Mortem Analysis of Workflow Executions Based on Event Histories / A. Geppert and D. Tombros -- Rule Modelling and Simulation in ALFRED / M. Schlesinger and G. Lorincze -- Using the Properties of Datalog to Prove Termination and Confluence in Active Databases / S. Comai and L. Tanca -- On Confluence Property of Active Databases with Meta-Rules / X. Wang, J.-H. You and L. Y. Yuan -- An Implementation and Evaluation of the Refined Triggering Graph Method for Active Rule Termination Analysis / M. K. Tschudi, S. D. Urban and S. W. Dietrich [et al.] --
  • Investigating Termination in Active Database Systems with Expressive Rule Languages / A. Vaduva, S. Gatziu and K. R. Dittrich -- On Control Flow Testing of Active Rules in a Declarative Object-Oriented Framework / H. W. R. Chan, S. W. Dietrich and S. D. Urban -- Validating Active Rules by Planning / P. Fraternali, E. Teniente and T. Urpf -- ACTIVE-DESIGN: A Generic Toolkit for Deriving Specific Rule Execution Models / M. Bouzeghoub, F. Fabret and F. Llirbat [et al.].
ISBN
3540635165 (softcover : alk. paper)
LCCN
97036661
OCLC
  • 238979362
  • ocn238979362
Owning Institutions
Columbia University Libraries