Certified mergeable replicated data types.

Vimala Soundarapandian Adharsh Kamath Kartik Nagar K. C. Sivaramakrishnan

Published in: PLDI (2022)

Keyphrases

data types
data model
data structure
database systems
user defined
back end
database management systems
algebraic operators
abstract data types
data mining algorithms
data manipulation language
website
data mining techniques
management system
training set
microsoft sql server
data analysis
image processing