AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically

Go Generating

AI Traceability

AI parses the academic lineage of this thesis

Generate MRT

Data Consistency in Transactional Storage Systems: a Centralised Approach.

arXiv: Logic in Computer Science, (2019)

Cited: 0|Views39

Full Text

Other Links

dblp.uni-trier.de academic.microsoft.com arxiv.org

Bibtex

Abstract

Modern distributed databases weaken data consistency guarantees to allow for faster transaction processing. It poses several challenges: formalising user-observable behaviour; then verifying protocols of databases and reasoning about client applications. We abstract such databases to centralised multi-version key-value stores and client v...More

Code:

Data:

Full Text

PPT (Upload PPT)

Author

[0]

[0]

[0]

[0]

Your rating :

No Ratings