Implementation Correctness for Replicated Data Types, Categorically.
Fabio GadducciHernán C. MelgrattiChristian RoldánMatteo SammartinoPublished in: ICTAC (2020)
Keyphrases
- data types
- data structure
- data model
- database systems
- database management systems
- user defined
- back end
- database server
- storage structures
- database
- abstract data types
- object oriented
- multi dimensional
- spatial data types
- data manipulation language
- query processing
- preprocessing
- general purpose
- range queries
- data formats