A categorical account of replicated data types
- Autores
- Gadducci, Fabio; Melgratti, Hernan Claudio; Roldán, Christian Hugo; Sammartino, Matteo
- Año de publicación
- 2019
- Idioma
- inglés
- Tipo de recurso
- artículo
- Estado
- versión publicada
- Descripción
- 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.
Fil: Gadducci, Fabio. Università degli Studi di Pisa; Italia
Fil: Melgratti, Hernan Claudio. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; Argentina
Fil: Roldán, Christian Hugo. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; Argentina
Fil: Sammartino, Matteo. University College London; Estados Unidos - Materia
-
FUNCTORIAL CHARACTERISATION
REPLICATED DATA TYPE
SPECIFICATION - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- https://creativecommons.org/licenses/by/2.5/ar/
- Repositorio
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/123316
Ver los metadatos del registro completo
id |
CONICETDig_aeb8db55985c3455337361cbe6ae0aa6 |
---|---|
oai_identifier_str |
oai:ri.conicet.gov.ar:11336/123316 |
network_acronym_str |
CONICETDig |
repository_id_str |
3498 |
network_name_str |
CONICET Digital (CONICET) |
spelling |
A categorical account of replicated data typesGadducci, FabioMelgratti, Hernan ClaudioRoldán, Christian HugoSammartino, MatteoFUNCTORIAL CHARACTERISATIONREPLICATED DATA TYPESPECIFICATIONhttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1Replicated 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.Fil: Gadducci, Fabio. Università degli Studi di Pisa; ItaliaFil: Melgratti, Hernan Claudio. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; ArgentinaFil: Roldán, Christian Hugo. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; ArgentinaFil: Sammartino, Matteo. University College London; Estados UnidosSchloss Dagstuhl. Leibniz-Zentrum für Informatik2019-12info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/123316Gadducci, Fabio; Melgratti, Hernan Claudio; Roldán, Christian Hugo; Sammartino, Matteo; A categorical account of replicated data types; Schloss Dagstuhl. Leibniz-Zentrum für Informatik; Leibniz International Proceedings in Informatics, LIPIcs; 150; 12-2019; 1-131868-8969CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSTTCS.2019.42info:eu-repo/semantics/altIdentifier/url/https://drops.dagstuhl.de/opus/volltexte/2019/11604/info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T09:55:01Zoai:ri.conicet.gov.ar:11336/123316instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-03 09:55:01.627CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse |
dc.title.none.fl_str_mv |
A categorical account of replicated data types |
title |
A categorical account of replicated data types |
spellingShingle |
A categorical account of replicated data types Gadducci, Fabio FUNCTORIAL CHARACTERISATION REPLICATED DATA TYPE SPECIFICATION |
title_short |
A categorical account of replicated data types |
title_full |
A categorical account of replicated data types |
title_fullStr |
A categorical account of replicated data types |
title_full_unstemmed |
A categorical account of replicated data types |
title_sort |
A categorical account of replicated data types |
dc.creator.none.fl_str_mv |
Gadducci, Fabio Melgratti, Hernan Claudio Roldán, Christian Hugo Sammartino, Matteo |
author |
Gadducci, Fabio |
author_facet |
Gadducci, Fabio Melgratti, Hernan Claudio Roldán, Christian Hugo Sammartino, Matteo |
author_role |
author |
author2 |
Melgratti, Hernan Claudio Roldán, Christian Hugo Sammartino, Matteo |
author2_role |
author author author |
dc.subject.none.fl_str_mv |
FUNCTORIAL CHARACTERISATION REPLICATED DATA TYPE SPECIFICATION |
topic |
FUNCTORIAL CHARACTERISATION REPLICATED DATA TYPE SPECIFICATION |
purl_subject.fl_str_mv |
https://purl.org/becyt/ford/1.2 https://purl.org/becyt/ford/1 |
dc.description.none.fl_txt_mv |
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. Fil: Gadducci, Fabio. Università degli Studi di Pisa; Italia Fil: Melgratti, Hernan Claudio. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; Argentina Fil: Roldán, Christian Hugo. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; Argentina Fil: Sammartino, Matteo. University College London; Estados Unidos |
description |
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. |
publishDate |
2019 |
dc.date.none.fl_str_mv |
2019-12 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion http://purl.org/coar/resource_type/c_6501 info:ar-repo/semantics/articulo |
format |
article |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://hdl.handle.net/11336/123316 Gadducci, Fabio; Melgratti, Hernan Claudio; Roldán, Christian Hugo; Sammartino, Matteo; A categorical account of replicated data types; Schloss Dagstuhl. Leibniz-Zentrum für Informatik; Leibniz International Proceedings in Informatics, LIPIcs; 150; 12-2019; 1-13 1868-8969 CONICET Digital CONICET |
url |
http://hdl.handle.net/11336/123316 |
identifier_str_mv |
Gadducci, Fabio; Melgratti, Hernan Claudio; Roldán, Christian Hugo; Sammartino, Matteo; A categorical account of replicated data types; Schloss Dagstuhl. Leibniz-Zentrum für Informatik; Leibniz International Proceedings in Informatics, LIPIcs; 150; 12-2019; 1-13 1868-8969 CONICET Digital CONICET |
dc.language.none.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSTTCS.2019.42 info:eu-repo/semantics/altIdentifier/url/https://drops.dagstuhl.de/opus/volltexte/2019/11604/ |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by/2.5/ar/ |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
https://creativecommons.org/licenses/by/2.5/ar/ |
dc.format.none.fl_str_mv |
application/pdf application/pdf |
dc.publisher.none.fl_str_mv |
Schloss Dagstuhl. Leibniz-Zentrum für Informatik |
publisher.none.fl_str_mv |
Schloss Dagstuhl. Leibniz-Zentrum für Informatik |
dc.source.none.fl_str_mv |
reponame:CONICET Digital (CONICET) instname:Consejo Nacional de Investigaciones Científicas y Técnicas |
reponame_str |
CONICET Digital (CONICET) |
collection |
CONICET Digital (CONICET) |
instname_str |
Consejo Nacional de Investigaciones Científicas y Técnicas |
repository.name.fl_str_mv |
CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas |
repository.mail.fl_str_mv |
dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar |
_version_ |
1842269319366443008 |
score |
13.13397 |