LEADER 03736nam  22005655  450 
001 9910768183703321
005 20200703055045.0
010   $a3-540-69588-5
024 7 $a10.1007/3-540-63516-5
035   $a(CKB)1000000000234723
035   $a(SSID)ssj0000326421
035   $a(PQKBManifestationID)11232899
035   $a(PQKBTitleCode)TC0000326421
035   $a(PQKBWorkID)10296470
035   $a(PQKB)11058098
035   $a(DE-He213)978-3-540-69588-2
035   $a(PPN)155225057
035   $a(EXLCZ)991000000000234723
100   $a20121227d1997      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aRules in Database Systems$b[electronic resource] $eThird International Workshop, RIDS '97, Skövde, Sweden, June 26-28, 1997 Proceedings /$fedited by Andreas Geppert, Mikael Berndtsson
205   $a1st ed. 1997.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997.
215   $a1 online resource (VIII, 219 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1312
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-63516-5 
327   $aDeductive object-oriented database systems: A survey -- Integrating dynamic aspects into deductive object-oriented databases -- FOLRE: A deductive database system for the integrated treatment of updates -- An introduction to the TriggerMan asynchronous trigger processor -- Logging and post-mortem analysis of workflow executions based on event histories -- Rule modelling and simulation in ALFRED -- Using the properties of datalog to prove termination and confluence in active databases -- On confluence property of active databases with meta-rules -- An implementation and evaluation of the Refined Triggering Graph method for active rule termination analysis -- Investigating termination in active database systems with expressive rule languages -- On control flow testing of active rules in a declarative object-oriented framework -- Validating active rules by planning -- Active-design: A generic toolkit for deriving specific rule execution models.
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v1312
606   $aData structures (Computer science)
606   $aDatabase management
606   $aData Structures and Information Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/I15009
606   $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024
615  0$aData structures (Computer science).
615  0$aDatabase management.
615 14$aData Structures and Information Theory.
615 24$aDatabase Management.
676   $a005.74
702   $aGeppert$b Andreas$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBerndtsson$b Mikael$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Workshop on Rules in Database Systems
906   $aBOOK
912   $a9910768183703321
996   $aRules in Database Systems$92225504
997   $aUNINA