Semantically Correct and Intent Defined Commutativity in Distributed Systems
Department of Computing & Information Systems, University of Greenwich, London, UK
It reasons that the condition required for a database management system to implement a monotonic semilattice and remain generic is not possible. It further proposes a framework which extends the SEC condition to capture enough information to make such a system practical to implement. Finally, it evaluates such an implementation using a modified storage engine for Apache Ignite demonstrating not just its practicality but its scaleability in Ignite and other database management systems like it.
The key contributions of this work is Semantic Intent Commutativity, SIC, a language and framework for distributed computing.
Keywords: Big data, Database management systems, Conflict free replicated data types, Semantically and intent defined commutativity, CRDT, SID, SICL, category theory