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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Saake, Gunter (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Schwarz, Kerstin (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Türker, Can (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Έκδοση:1st ed. 2000.
Σειρά:Lecture Notes in Computer Science, 1773
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 04988nam a2200565 4500
001 978-3-540-46466-2
003 DE-He213
005 20191024201824.0
007 cr nn 008mamaa
008 121227s2000 gw | s |||| 0|eng d
020 |a 9783540464662  |9 978-3-540-46466-2 
024 7 |a 10.1007/3-540-46466-2  |2 doi 
040 |d GrThAP 
050 4 |a QA76.9.D35 
050 4 |a Q350-390 
072 7 |a UMB  |2 bicssc 
072 7 |a COM031000  |2 bisacsh 
072 7 |a UMB  |2 thema 
072 7 |a GPF  |2 thema 
082 0 4 |a 005.73  |2 23 
245 1 0 |a Transactions and Database Dynamics  |h [electronic resource] :  |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. 
250 |a 1st ed. 2000. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2000. 
300 |a VIII, 256 p.  |b 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,  |x 0302-9743 ;  |v 1773 
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. 
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 0 |a Data structures (Computer science). 
650 0 |a Database management. 
650 0 |a Application software. 
650 1 4 |a Data Structures and Information Theory.  |0 http://scigraph.springernature.com/things/product-market-codes/I15009 
650 2 4 |a Database Management.  |0 http://scigraph.springernature.com/things/product-market-codes/I18024 
650 2 4 |a Information Systems Applications (incl. Internet).  |0 http://scigraph.springernature.com/things/product-market-codes/I18040 
700 1 |a Saake, Gunter.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Schwarz, Kerstin.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Türker, Can.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783662179420 
776 0 8 |i Printed edition:  |z 9783540672012 
830 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 1773 
856 4 0 |u https://doi.org/10.1007/3-540-46466-2  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
912 |a ZDB-2-BAE 
950 |a Computer Science (Springer-11645)