Spitz: A Verifiable Database System.
Meihui ZhangZhongle XieCong YueZiyue ZhongPublished in: Proc. VLDB Endow. (2020)
Keyphrases
- database systems
- data model
- database applications
- database management systems
- database
- data types
- query optimization
- database server
- databases
- relational database systems
- sufficient conditions
- machine learning
- data management
- information retrieval
- concurrency control
- database technology
- query language
- query processing
- search engine
- database design
- real world
- neural network
- query execution
- data manipulation language