Rules in Database Systems : Third International Workshop, RIDS '97 Skövde, Sweden, June 26 28, 1997 Proceedings.
This book constitutes the strictly refereed post-workshop proceedings of the Third International Workshop on Rules in Database Systems, RIDS '97, held in Skvde, June 1997. The 13 revised papers presented in the book were carefully reviewed and selected from 33 submissions. The book documents th...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; Heidelberg :
Springer-Verlag,
1997.
|
| Series: | Lecture notes in computer science ;
1312, |
| Subjects: |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | b8903411 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 111229s1997 gw ou 000 0 eng d | ||
| 005 | 20240418144215.9 | ||
| 020 | |a 9783540695882 |q (electronic bk.) | ||
| 020 | |a 3540695885 |q (electronic bk.) | ||
| 024 | 7 | |a 10.1007/3-540-63516-5 | |
| 035 | |a (OCoLC)spr769771470 | ||
| 035 | |a (OCoLC)769771470 | ||
| 037 | |a spr10.1007/3-540-63516-5 | ||
| 040 | |a DKDLA |b eng |e pn |c DKDLA |d OCLCQ |d OCLCO |d OCLCQ |d GW5XE |d OCLCF |d OCLCQ |d SHS | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA76.9.D3 | |
| 100 | 1 | |a Geppert, Andreas. | |
| 245 | 1 | 0 | |a Rules in Database Systems : |b Third International Workshop, RIDS '97 Skövde, Sweden, June 26 28, 1997 Proceedings. |
| 260 | |a Berlin ; |a Heidelberg : |b Springer-Verlag, |c 1997. | ||
| 300 | |a 1 online resource. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 347 | |a text file |b PDF |2 rda. | ||
| 490 | 1 | |a Lecture Notes in Computer Science ; |v 1312, |x 0302-9743. | |
| 505 | 0 | |a Deductive 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 | |a This book constitutes the strictly refereed post-workshop proceedings of the Third International Workshop on Rules in Database Systems, RIDS '97, held in Skvde, 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 | |a Computer science. | |
| 650 | 0 | |a Database management. | |
| 650 | 7 | |a Computer science. |2 fast |0 (OCoLC)fst00872451. | |
| 650 | 7 | |a Database management. |2 fast |0 (OCoLC)fst00888037. | |
| 700 | 1 | |a Berndtsson, Mikael. | |
| 776 | 0 | 8 | |i Printed edition: |z 9783540635161. |
| 830 | 0 | |a Lecture notes in computer science ; |v 1312, | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/3-540-63516-5 |z Full Text (via Springer) |
| 907 | |a .b89034119 |b 11-22-21 |c 10-28-16 | ||
| 998 | |a web |b - - |c f |d b |e - |f eng |g gw |h 0 |i 1 | ||
| 956 | |a Springer e-books | ||
| 915 | |a M | ||
| 956 | |b Springer Nature - Springer Book Archive - Springer Computer Science | ||
| 999 | f | f | |i b693628c-4bdc-5f0a-a697-0af0c5e80a84 |s 2a42fd7c-0f9e-55cb-9a0b-a323fc5424c9 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.9.D3 |h Library of Congress classification |i Ebooks, Prospector |n 1 |