Rules in database systems : Third International Workshop, RIDS '97, Sk{u00A4}vde, Sweden, June 26-28, 1997 : proceedings

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 ... [and others] -- 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{u00A4}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 ... [and others] -- Investigating termination in active database systems with expressive rule languages / A.