Rules in database systems : Third International Workshop, RIDS '97, Skövde, Sweden, June 26-28, 1997 : proceedings / Andreas Geppert, Mikael Berndtsson, (eds.).

Other author Geppert, Andreas.
Other author Berndtsson, Mikael, 1967-
Other author International Workshop on Rules in Database Systems 1997 : Skövde, Sweden)
Format Book
Publication InfoBerlin ; New York : Springer, ©1997.
Description214 pages : illustrations ; 24 cm.
Subjects
Database design--Congresses.

SeriesLecture notes in computer science ; 1312
Lecture notes in computer science 1312. ^A466336
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 ... [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. Lörincze --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. and L.Y. Yuan -- An implementation and evaluation of the refined triggering graph method for active rule termination analysis / M.K. Tschudi ... [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. Urpí -- ACTIVE-DESIGN : a generic toolkit for deriving specific rule execution models / M. Bouzeghoub ... [et al.].
Bibliography noteIncludes bibliographical references and index.
LCCN 97036661
ISBN3540635165 (softcover : alk. paper)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.9.D3 R854 1997 ✔ Available Place Hold