Synthesizing CRDTs from Sequential Data Types with Verified Lifting.
Shadaj LaddadConor PowerMae MilanoAlvin CheungJoseph M. HellersteinPublished in: CoRR (2022)
Keyphrases
- data types
- data structure
- database management systems
- database systems
- data model
- user defined
- database server
- data sets
- database
- data formats
- wavelet transform
- abstract data types
- data manipulation language
- multi dimensional
- face recognition
- information retrieval
- database objects
- microsoft sql server
- complex data types