Publicação
Composition in State-based Replicated Data Types
| dc.contributor.author | Baquero, Carlos | |
| dc.contributor.author | Almeida, Paulo Sérgio | |
| dc.contributor.author | Cunha, Alcino | |
| dc.contributor.author | Ferreira, Carla | |
| dc.contributor.institution | DI - Departamento de Informática | |
| dc.contributor.institution | NOVALincs | |
| dc.contributor.pbl | European Association for Theoretical Computer Science; 1999 | |
| dc.date.accessioned | 2020-02-20T23:41:11Z | |
| dc.date.available | 2020-02-20T23:41:11Z | |
| dc.date.issued | 2017-10 | |
| dc.description | project TEC4Growth (NORTE-01-0145-FEDER-000020). | |
| dc.description.abstract | Keeping replicated data strongly consistent is convenient when communication is fast and available. In internet-scale distributed systems the reality of high communication latencies and likelihood of partitions, leads developers to adopt more relaxed consistency models, such as eventual consistency. Conflict-free Replicated Data Types, bring structure to the design of eventually consistent data management solutions, by precisely describing the behaviour under concurrent updates and guarantying a path to reconciliation. This paper offers a survey of the mathematical structures that support state based multi-master replication with reconciliation, and shows how state structures and state transformations can be composed to provide data types that are now used in practice in many geo-replicated systems. | en |
| dc.description.version | authorsversion | |
| dc.description.version | published | |
| dc.format.extent | 21 | |
| dc.format.extent | 210621 | |
| dc.identifier.issn | 0252-9742 | |
| dc.identifier.other | PURE: 11630198 | |
| dc.identifier.other | PURE UUID: 934eff81-68d9-411a-aca8-86730ae5926a | |
| dc.identifier.other | WOS: 000424478900004 | |
| dc.identifier.other | ORCID: /0000-0003-3680-7634/work/63724818 | |
| dc.identifier.uri | http://hdl.handle.net/10362/93093 | |
| dc.identifier.url | http://eatcs.org/index.php/on-line-issues | |
| dc.language.iso | eng | |
| dc.peerreviewed | yes | |
| dc.relation | info:eu-repo/grantAgreement/FCT/5876/147279/PT | |
| dc.relation | info:eu-repo/grantAgreement/EC/FP7/609551/EU | |
| dc.relation | Large-scale computation without synchronisation | |
| dc.relation | Lightweight Computation for Networks at the Edge | |
| dc.title | Composition in State-based Replicated Data Types | en |
| dc.type | journal article | |
| degois.publication.issue | 123 | |
| degois.publication.title | Bulletin of the European Association for Theoretical Computer Science | |
| dspace.entity.type | Publication | |
| oaire.awardNumber | UID/CEC/04516/2013 | |
| oaire.awardNumber | 609551 | |
| oaire.awardNumber | 732505 | |
| oaire.awardTitle | Large-scale computation without synchronisation | |
| oaire.awardTitle | Lightweight Computation for Networks at the Edge | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/5876/UID%2FCEC%2F04516%2F2013/PT | |
| oaire.awardURI | info:eu-repo/grantAgreement/EC/FP7/609551/EU | |
| oaire.awardURI | info:eu-repo/grantAgreement/EC/H2020/732505/EU | |
| oaire.fundingStream | 5876 | |
| oaire.fundingStream | FP7 | |
| oaire.fundingStream | H2020 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.identifier | http://doi.org/10.13039/501100008530 | |
| project.funder.identifier | http://doi.org/10.13039/501100008530 | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| project.funder.name | European Commission | |
| project.funder.name | European Commission | |
| rcaap.rights | openAccess | |
| relation.isProjectOfPublication | 1f91d15d-5c38-4f20-87b3-0a1dfc82dcd9 | |
| relation.isProjectOfPublication | 48eb510b-3fbf-4718-a569-aeb6850eb6b6 | |
| relation.isProjectOfPublication | b46f8c97-d08a-421e-8bba-f04c747e9a1b | |
| relation.isProjectOfPublication.latestForDiscovery | 48eb510b-3fbf-4718-a569-aeb6850eb6b6 |
Ficheiros
Principais
1 - 1 de 1