Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007720609/catalog> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- catalog abstract "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.".
- catalog contributor b10674455.
- catalog contributor b10674456.
- catalog contributor b10674457.
- catalog created "c1997.".
- catalog date "1997".
- catalog date "c1997.".
- catalog dateCopyrighted "c1997.".
- catalog description "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ö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. 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 [and others].".
- catalog description "Includes bibliographical references and index.".
- catalog description "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.".
- catalog extent "214 p. :".
- catalog identifier "3540635165 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1312".
- catalog issued "1997".
- catalog issued "c1997.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.74 21".
- catalog subject "Computer science.".
- catalog subject "Database design Congresses.".
- catalog subject "Database management.".
- catalog subject "QA76.9.D3 R854 1997".
- catalog tableOfContents "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ö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. 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 [and others].".
- catalog title "Rules in database systems : Third International Workshop, RIDS '97, Skövde, Sweden, June 26-28, 1997 : proceedings / Andreas Geppert, Mikael Berndtsson, (eds.).".
- catalog type "Conference proceedings. fast".
- catalog type "Skövde (1997) swd".
- catalog type "text".