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 Skövde, June 1997. The 13 revised papers presented in the book were carefully reviewed and selected from 33 submissions. The book documents t...
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | , |
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Saila: | Lecture notes in computer science
1312 |
| Gaiak: | |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Rules in database systems, Third International Workshop, RIDS '97, Skövde, Sweden, June 1997, proceedings, Andreas Geppert, Mikael Berndtsson, (eds.), 1997, New York, Springer, 1 vol. (214p.), Lecture notes in computer science, 3-540-63516-5 • Rules in Database Systems, Texte imprimé, 9783662213988 |
| LEADER | 03955nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 945369 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155225057 | ||
| 020 | |a 9783540695882 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Workshop on Rules in Database Systems |n (03 |d :1997 |c :Skövde, Suède). | |
| 245 | 1 | 0 | |a Rules in database systems : |b Third International Workshop, RIDS '97 Skövde, Sweden, June 26 28, 1997 : proceedings |c [edited by] Andreas Geppert, Mikael Berndtsson. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 1 | |a Lecture notes in computer science |v 1312 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 504 | |a Bibliogr. en fin de contributions. Index | ||
| 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 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 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 | |a Informatique | ||
| 650 | |a Bases de données |x Conception technique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Geppert, Andreas, |d 1962- |4 pbd | |
| 700 | 1 | |a Berndtsson, Mikel, |d 1967- |4 pbd | |
| 776 | 0 | |0 032350279 |t Rules in database systems |o Third International Workshop, RIDS '97, Skövde, Sweden, June 1997 |o proceedings |f Andreas Geppert, Mikael Berndtsson, (eds.) |d 1997 |c New York |n Springer |p 1 vol. (214p.) |s Lecture notes in computer science |z 3-540-63516-5 | |
| 776 | 0 | |t Rules in Database Systems |b Texte imprimé |z 9783662213988 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-63516-5 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-BX3JK76D-L |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747911142 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-63516-5 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750923989 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-63516-5 |z Accès INSA CVL | |
| 997 | |0 945369 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||