COMPOSITION IN STATE-BASED REPLICATED DATA TYPES

• Type: Article in International Scientific Journal
• Date: 2017

Authors

Baquero, C (Author) Other; Almeida, PS (Author) Other; Cunha, A (Author) Other; Ferreira, C (Author) Other

Journal

The Journal is awaiting validation by the Administrative Services.

Title: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE

Vol. 123

ISSN: 0252-9742

Indexing

ISI Web of Knowledge - 2 Citations

Other information

Authenticus ID: P-00N-KTZ

Abstract (EN): 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 21