Gadducci, F; Melgratti, H; Roldan, C; Sammartino, M; (2019) A Categorical Account of Replicated Data Types. In: Chattopadhyay, A and Gastin, P, (eds.) 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019)}. (pp. 42:1-42:15). Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik: Dagstuhl, Germany.

Preview

Text LIPIcs-FSTTCS-2019-42.pdf - Published Version Download (616kB) | Preview

Abstract

Replicated Data Types (rdts) have been introduced as a suitable abstraction for dealing with weakly consistent data stores, which may (temporarily) expose multiple, inconsistent views of their state. In the literature, rdts are commonly specified in terms of two relations: visibility, which accounts for the different views that a store may have, and arbitration, which states the logical order imposed on the operations executed over the store. Different flavours, e.g., operational, axiomatic and functional, have recently been proposed for the specification of rdts. In this work, we propose an algebraic characterisation of rdt specifications. We define categories of visibility relations and arbitrations, show the existence of relevant limits and colimits, and characterize rdt specifications as functors between such categories that preserve these additional structures.

Download activity - last month

Export as JSONCSVXML

Download activity - last 12 months

Export as JSONCSVXML

Downloads by country - last 12 months

Export as XMLCSVJSON

Archive Staff Only

View Item