Document Open Access Logo

Brief Announcement: On the Correctness of Transaction Processing with External Dependency

Authors Masoomeh Javidi Kishi, Ahmed Hassan, Roberto Palmieri

PDF
Thumbnail PDF

File

LIPIcs.DISC.2019.46.pdf
  • Filesize: 289 kB
  • 3 pages

Document Identifiers

Author Details

Masoomeh Javidi Kishi
  • Lehigh University, Bethlehem, PA, USA
Ahmed Hassan
  • Alexandria University, Alexandria, Egypt
Roberto Palmieri
  • Lehigh University, Bethlehem, PA, USA

Funding

This material is based upon work supported by the Air Force Office of Scientific Research under award number FA9550-17-1-0367 and by the National Science Foundation under Grant No. CNS-1814974.

Cite AsGet 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)
    0
    PDF Downloads
    0
    Metadata Views

References

  1. Atul Adya. Weak consistency: a generalized theory and optimistic implementations for distributed transactions, 1999. Google Scholar
  2. James C Corbett et al. Spanner: Google’s globally distributed database. ACM Transactions on Computer Systems (TOCS), 31(3):8, 2013. Google Scholar
  3. Khuzaima Daudjee and Kenneth Salem. Lazy database replication with ordering guarantees. In ICDE, pages 424-435. IEEE, 2004. Google Scholar
  4. Tim Harris and Simon Jones. Transactional memory with data invariants, 2006. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact