Transactions and database dynamics : 8th International Workshop on Foundations of Models and Languages for Data and Objects, Dagstuhl Castle, Germany, September 27 30, 1999 : selected papers
These post-proceedings contain the revised versions of the accepted papers of the international workshop \Transactions and Database Dynamics", which was the eighth workshop in a series focusing on foundations of models and languages for data and objects (FoMLaDO). Seven long papers and three sh...
Сохранить в:
| Соавтор: | |
|---|---|
| Другие авторы: | , , |
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Серии: | Lecture notes in computer science
1773 |
| Предметы: | |
| Online-ссылка: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Примечание: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Transactions and database dynamics, 8th International Workshop on Foundations of Models and Languages for Data and Objects, Dagstuhl Castle, Germany, September 1999, selected papers, Gunter Saake, Kerstin Schwarz, Can Türker (eds.), 2000, Berlin, Springer, 1 vol. (VIII-245 p.), Lecture notes in computer science, 3-540-67201-X • Transactions and Database Dynamics, Texte imprimé, 9783662179420 |
| LEADER | 05170nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 970320 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155188305 | ||
| 020 | |a 9783540464662 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Workshop on Foundations of Models and Languages for Data and Objects |n (08 |c :1999) |d (Dagstuhl Castle, Allemagne. | |
| 245 | 1 | 0 | |a Transactions and database dynamics : |b 8th International Workshop on Foundations of Models and Languages for Data and Objects, Dagstuhl Castle, Germany, September 27 30, 1999 : selected papers |c [edited by] Gunter Saake, Kerstin Schwarz, Can Türker. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1773 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Regular Papers -- Federated Transaction Management with Snapshot Isolation -- Serializability, Concurrency Control, and Replication Control -- Logical Update Queries as Open Nested Transactions -- Inheritance in a Deductive Object Database Language with Updates -- Specifying Distributed and Dynamically Evolving Information Systems Using an Extended Co-nets Approach -- Specifying Active Rules for Database Maintenance -- Nested Transactions with Integrity Constraints -- Declarative Specifications of Complex Transactions -- Open Nested Transactions: A Support for Increasing Performance and Multi-tier Applications -- Execution Guarantees in Electronic Commerce Payments -- Invited Paper -- Transactions in Mobile Electronic Commerce -- Working Group Papers -- Transactions and Electronic Commerce -- Transactional Computation: Overview and Discussion. | |
| 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 These post-proceedings contain the revised versions of the accepted papers of the international workshop \Transactions and Database Dynamics", which was the eighth workshop in a series focusing on foundations of models and languages for data and objects (FoMLaDO). Seven long papers and three short papers were accepted for inclusion in the proceedings. The papers address various issues of transactions and database dynamics: { criteria and protocols for global snapshot isolation in federated transaction management, { uni ed theory of concurrency control and replication control, { speci cation of evolving information systems, { inheritance mechanisms for deductive object databases with updates, { speci cation of active rules for maintaining database consistency, { integrity checking in subtransactions, { open nested transactions for multi-tier architectures, { declarative speci cation of transactions with static and dynamic integrity constraints, { logic-based speci cation of update queries as open nested transactions, and { execution guarantees and transactional processes in electronic commerce payments. In addition to the regular papers, there are papers resulting from two working groups. The rst working group paper discusses the basis for transactional c- putation. In particular, it addresses the speci cation of transactional software. The second working group paper focuses on transactions in electronic commerce applications. Among others, Internet transactions, payment protocols, and c- currency control and persistence mechanisms are discussed. Moreover, there is an invited paper by Jari Veijalainen which discusses tr- sactional aspects in mobile electronic commerce. | ||
| 650 | |a Informatique | ||
| 650 | |a Bases de données orientées objet | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Saake, Gunter, |d 1960- |4 pbd | |
| 700 | 1 | |a Schwarz, Kerstin. |4 pbd | |
| 700 | 1 | |a Türker, Can, |d 19..- |4 pbd | |
| 776 | 0 | |0 049340182 |t Transactions and database dynamics |o 8th International Workshop on Foundations of Models and Languages for Data and Objects, Dagstuhl Castle, Germany, September 1999 |o selected papers |f Gunter Saake, Kerstin Schwarz, Can Türker (eds.) |d 2000 |c Berlin |n Springer |p 1 vol. (VIII-245 p.) |s Lecture notes in computer science |z 3-540-67201-X | |
| 776 | 0 | |t Transactions and Database Dynamics |b Texte imprimé |z 9783662179420 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-46466-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-GVX8JSGD-L |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750601310 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-46466-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753961822 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-46466-2 |z Accès INSA CVL | |
| 997 | |0 970320 |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/ | ||