LIPIcs.DISC.2019.46.pdf
- Filesize: 289 kB
- 3 pages
Document
Brief Announcement: On the Correctness of Transaction Processing with External Dependency
Authors
-
Part of:
Volume:
33rd International Symposium on Distributed Computing (DISC 2019)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Symposium on Distributed Computing (DISC) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2019-10-08
Cite As Get BibTex
Masoomeh Javidi Kishi, Ahmed Hassan, and Roberto Palmieri. Brief Announcement: On the Correctness of Transaction Processing with External Dependency. In 33rd International Symposium on Distributed Computing (DISC 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 146, pp. 46:1-46:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/LIPIcs.DISC.2019.46
Abstract
We briefly introduce a unified model to characterize correctness levels stronger (or equal to) serializability in the presence of application invariant. We propose to classify relations among committed transactions into data-related and application semantic-related. Our model delivers a condition that can be used to verify the safety of transactional executions in the presence of application invariant.
Subject Classification
ACM Subject Classification
- Theory of computation → Concurrency
Keywords
- Transactions
- Dependency Graph
- Concurrency
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
-
Atul Adya. Weak consistency: a generalized theory and optimistic implementations for distributed transactions, 1999.
-
James C Corbett et al. Spanner: Google’s globally distributed database. ACM Transactions on Computer Systems (TOCS), 31(3):8, 2013.
-
Khuzaima Daudjee and Kenneth Salem. Lazy database replication with ordering guarantees. In ICDE, pages 424-435. IEEE, 2004.
-
Tim Harris and Simon Jones. Transactional memory with data invariants, 2006.