Change search
ReferencesLink to record
Permanent link

Direct link
Constraint-preserving snapshot isolation
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2016 (English)In: Annals of Mathematics and Artificial Intelligence, ISSN 1012-2443, E-ISSN 1573-7470, Vol. 76, no 3-4, 281-326 p.Article in journal (Refereed) PublishedText
Abstract [en]

A method for detecting potential violations of integrity constraints of concurrent transactions running under snapshot isolation (SI) is presented. Although SI provides a high level of isolation, it does not, by itself, ensure that all integrity constraints are satisfied. In particular, while current implementations of SI enforce all internal integrity constraints, in particular key constraints, they fail to enforce constraints implemented via triggers. One remedy is to turn to serializable SI (SSI), in which full serializability is guaranteed. However, SSI comes at the price of either a substantial number of false positives, or else a high cost of constructing the full direct serialization graph. In this work, a compromise approach, called constraint-preserving snapshot isolation (CPSI), is developed, which while not guaranteeing full serializability, does guarantee that all constraints, including those enforced via triggers, are satisfied. In contrast to full SSI, CPSI requires testing concurrent transactions for conflict only pairwise, and thus involves substantially less overhead while providing a foundation for resolving conflicts via negotiation rather than via abort and restart. As is the case with SSI, CPSI can result in false positives. To address this, a hybrid approach is also developed which combines CPSI with a special version of SSI called CSSI, resulting in substantially fewer false positives than would occur using either approach alone.

Place, publisher, year, edition, pages
Springer , 2016. Vol. 76, no 3-4, 281-326 p.
Keyword [en]
Transaction, Concurrency, Isolation
National Category
Computer Science
URN: urn:nbn:se:umu:diva-121477DOI: 10.1007/s10472-015-9482-6ISI: 000374449500003OAI: diva2:939756
Available from: 2016-06-20 Created: 2016-06-02 Last updated: 2016-06-20Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Hegner, Stephen J.
By organisation
Department of Computing Science
In the same journal
Annals of Mathematics and Artificial Intelligence
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 4 hits
ReferencesLink to record
Permanent link

Direct link