Rules in database systems : Third International Workshop, RIDS '97, Skövde, Sweden, June 26-28, 1997 : proceedings /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1997]
|
| Series: | Lecture notes in computer science ;
1312. |
| Subjects: |
Table of 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.].