000 03233nam a22004815i 4500
001 978-3-540-69588-2
003 DE-He213
005 20160624102058.0
007 cr nn 008mamaa
008 121227s1997 gw | s |||| 0|eng d
020 _a9783540695882
_9978-3-540-69588-2
024 7 _a10.1007/3-540-63516-5
_2doi
050 4 _aQA76.9.D3
072 7 _aUN
_2bicssc
072 7 _aUMT
_2bicssc
072 7 _aCOM021000
_2bisacsh
082 0 4 _a005.74
_223
245 1 0 _aRules in Database Systems
_h[electronic resource] :
_bThird International Workshop, RIDS '97 Skövde, Sweden, June 26–28, 1997 Proceedings /
_cedited by Andreas Geppert, Mikael Berndtsson.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1997.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1997.
300 _aVIII, 219 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v1312
505 0 _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.
520 _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.
650 0 _aComputer science.
650 0 _aDatabase management.
650 1 4 _aComputer Science.
650 2 4 _aDatabase Management.
700 1 _aGeppert, Andreas.
_eeditor.
700 1 _aBerndtsson, Mikael.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540635161
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v1312
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-63516-5
942 _2EBK7269
_cEBK
999 _c36563
_d36563