Spitz: A Verifiable Database System.
Meihui ZhangZhongle XieCong YueZiyue ZhongPublished in: CoRR (2020)
Keyphrases
- database systems
- sufficient conditions
- database
- databases
- database management systems
- data model
- query optimization
- database applications
- data management
- database server
- relational database systems
- database technology
- object oriented database systems
- database design
- data types
- query execution
- data manipulation language
- transaction management
- commercial database systems
- concurrency control
- case study
- image processing
- real time
- query processing
- multiresolution
- secret sharing
- storage management
- genetic algorithm