Rules in Database Systems (Record no. 36563)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03233nam a22004815i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783540695882 |
| -- | 978-3-540-69588-2 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.74 |
| 245 10 - TITLE STATEMENT | |
| Title | Rules in Database Systems |
| Sub Title | Third International Workshop, RIDS '97 Skövde, Sweden, June 26–28, 1997 Proceedings / |
| Statement of responsibility, etc | edited by Andreas Geppert, Mikael Berndtsson. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Berlin, Heidelberg : |
| Name of publisher | Springer Berlin Heidelberg, |
| Year of publication | 1997. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | VIII, 219 p. |
| Other physical details | online resource. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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 ## - SUMMARY, ETC. | |
| Summary, etc | 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Database management. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Database Management. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Geppert, Andreas. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Berndtsson, Mikael. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/3-540-63516-5 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | E-BOOKS |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg, |
| -- | 1997. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 0302-9743 ; |
| Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
|---|---|---|---|---|---|---|---|
| IMSc Library | EBK7269 | http://dx.doi.org/10.1007/3-540-63516-5 | E-BOOKS |