Algebraic laws for weak consistency

DOI10.4230/LIPICS.CONCUR.2017.26MaRDI QIDQ5111640zbMATH OpenFDO

Authors Andrea Cerone, Alexey Gotsman, Hongseok Yang

Publication date 27 May 2020

zbMATH Keywords

dependency graphsdistributed databasesweak consistency models

Mathematics Subject Classification ID

Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Checking robustness between weak transactional consistency models
• A framework for transactional consistency models with atomic visibility
• Robustness against consistency models with atomic visibility
• scientific article; zbMATH DE number 7327945
• The complexity of weak consistency

Cites work

• scientific article; zbMATH DE number 1086671 (Why is no real title available?)
• A framework for transactional consistency models with atomic visibility
• Algebraic laws for weak consistency
• Analysing snapshot isolation
• Checking and enforcing robustness against TSO
• Composite replicated data types
• Eventually consistent transactions
• On verifying causal consistency
• Replicated data types, specification, verification, optimality
• Robustness against consistency models with atomic visibility
• Scalable atomic visibility with RAMP transactions
• Serializability for eventual consistency: criterion, analysis, and applications
• Transaction chopping for parallel snapshot isolation

Cited in

(6)

• Checking robustness between weak transactional consistency models
• A framework for transactional consistency models with atomic visibility
• Robustness against consistency models with atomic visibility
• Algebraic laws for weak consistency
• Automated detection of serializability violations under weak consistency
• Robustness against Read Committed for Transaction Templates with Functional Constraints

Describes a project that uses

Uses Software

• MS SQL Server

This page was built for publication: Algebraic laws for weak consistency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111640)