Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Deciding Robustness for Lower SQL Isolation Levels
 
conference paper

Deciding Robustness for Lower SQL Isolation Levels

Ketsman, Bas  
•
Koch, Christoph  
•
Neven, Frank
Show more
January 1, 2020
Pods'20: Proceedings Of The 39Th Acm Sigmod-Sigact-Sigai Symposium On Principles Of Database Systems
39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS)

While serializability always guarantees application correctness, lower isolation levels can be chosen to improve transaction throughput at the risk of introducing certain anomalies. A set of transactions is robust against a given isolation level if every possible interleaving of the transactions under the specified isolation level is serializable. Robustness therefore always guarantees application correctness with the performance benefit of the lower isolation level. While the robustness problem has received considerable attention in the literature, only sufficient conditions have been obtained. The most notable exception is the seminal work by Fekete where he obtained a characterization for deciding robustness against SNAPSHOT ISOLATION. In this paper, we address the robustness problem for the lower SQL isolation levels READ UNCOMMITTED and READ COMMITTED which are defined in terms of the forbidden dirty write and dirty read patterns. The first main contribution of this paper is that we characterize robustness against both isolation levels in terms of the absence of counter example schedules of a specific form (split and multi-split schedules) and by the absence of cycles in interference graphs that satisfy various properties. A critical difference with Fekete's work, is that the properties of cycles obtained in this paper have to take the relative ordering of operations within transactions into account as READ UNCOMMITTED and READ COMMITTED do not satisfy the atomic visibility requirement. A particular consequence is that the latter renders the robustness problem against READ COMMITTED coNP-complete. The second main contribution of this paper is the coNP-hardness proof. For READ UNCOMMITTED, we obtain LOGSPACE-completeness.

  • Details
  • Metrics
Type
conference paper
DOI
10.1145/3375395.3387655
Web of Science ID

WOS:000627789800022

Author(s)
Ketsman, Bas  
Koch, Christoph  
Neven, Frank
Vandevoort, Brecht
Date Issued

2020-01-01

Publisher

ASSOC COMPUTING MACHINERY

Publisher place

New York

Published in
Pods'20: Proceedings Of The 39Th Acm Sigmod-Sigact-Sigai Symposium On Principles Of Database Systems
ISBN of the book

978-1-4503-7108-7

Start page

315

End page

330

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
DATA  
Event nameEvent placeEvent date
39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS)

ELECTR NETWORK

Jun 15-17, 2020

Available on Infoscience
April 24, 2021
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/177596
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés