Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update
Options:








Author, Editor

Author(s):

Schenkel, Ralf
Weikum, Gerhard
Weißenberg, Norbert
Wu, Xuequn
dblp
dblp
dblp
dblp
Not MPG Author(s):

Weißenberg, Norbert
Wu, Xuequn

Editor(s):

Saake, Gunter
Schwarz, Kerstin
Türker, Can
dblp
dblp
dblp
Not MPII Editor(s):

Saake, Gunter
Schwarz, Kerstin
Türker, Can

BibTeX cite key*:

SchenkelWWW99

Title, Booktitle

Title*:

Federated Transaction Management with Snapshot Isolation


tdd99.pdf (133.47 KB)

Booktitle*:

Proceedings of the 8th International Workshop on Foundations of Models and Languages for Data and Objects - Transactions and Database Dynamics '99

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Dagstuhl Castle, Germany
Language:

English

Event Date*
(no longer used):

September 27-30, 1999
Organization:


Event Start Date:

27 September 1999
Event End Date:

30 September 1999

Publisher

Name*:

Springer

URL:

http://www.springer-ny.com/

Address*:

Berlin
Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

1773
Number:


Month:


Pages:

1-25

Year*:

1999
VG Wort Pages:


ISBN/ISSN:

3-540-67201-X
Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

Federated transaction management (also known as multidatabase transaction management in the literature) is needed to ensure the consistency of data that is distributed across multiple, largely autonomous, and possibly heterogeneous component databases and accessed by both global and local transactions. While the global atomicity of such transactions can be enforced by using a standardized commit protocol like XA or its CORBA counterpart OTS, global serializability is not self-guaranteed as the underlying component systems may use a variety of potentially incompatible local concurrency control protocols. The problem of how to achieve global serializability, by either constraining the component systems or implementing additional global protocols at the federation level, has been intensively studied in the literature, but did not have much impact on the practical side. A major deficiency of the prior work has been that it focused on the idealized correctness criterion of serializability and disregarded the subtle but important variations of SQL isolation levels supported by most commercial database systems.

This paper reconsiders the problem of federated transaction management, more specifically its concurrency control issues, with particular focus on isolation levels used in practice, especially the popular snapshot isolation provided by Oracle. As pointed out in a SIGMOD 1995 paper by Berenson et al., a rigorous foundation for rea-soning about such concurrency control features of commercial systems is sorely missing. The current paper aims to close this gap by developing a formal framework that allows us to reason about local and global transaction executions where some (or all) transactions are run under snapshot isolation. The paper derives criteria and prac-tical protocols for guaranteeing global snapshot isolation at the federation level. It further generalizes the well-known ticket method to cope with combinations of isolation levels in a federated system.

Keywords:

Transaction, Isolation Level, Snapshot Isolation



Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

AG5

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{SchenkelWWW99,
AUTHOR = {Schenkel, Ralf and Weikum, Gerhard and Weißenberg, Norbert and Wu, Xuequn},
 EDITOR = {Saake, Gunter and Schwarz, Kerstin and T{\"u}rker, Can},
 TITLE = {Federated Transaction Management with Snapshot Isolation},
 BOOKTITLE = {Proceedings of the 8th International Workshop on Foundations of Models and Languages for Data and Objects - Transactions and Database Dynamics '99},
 PUBLISHER = {Springer},
 YEAR = {1999},
 VOLUME = {1773},
 PAGES = {1--25},
 SERIES = {Lecture Notes in Computer Science},
 ADDRESS = {Dagstuhl Castle, Germany},
 ISBN = {3-540-67201-X},
}

Entry last modified by Adriana Davidescu, 03/29/2006
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Ralf Schenkel		Created
11/20/2003 03:49:11 PM
Revisions
2.
1.
0.

Editor(s)
Adriana Davidescu
Ralf Schenkel
Ralf Schenkel

Edit Dates
29.03.2006 16:05:48
21.11.2003 10:01:04
20.11.2003 15:49:11

Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section

View attachments here:

File Attachment Icon
tdd99.pdf