Automatic verification of database-centric systems.
Alin DeutschRichard HullYuliang LiVictor VianuPublished in: ACM SIGLOG News (2018)
Keyphrases
- database
- databases
- data sets
- building blocks
- relational databases
- database management systems
- multimedia
- database applications
- intelligent systems
- data management
- image database
- management system
- data model
- real world
- xml documents
- image retrieval
- digital libraries
- face recognition
- database systems
- case study
- website
- neural network
- machine learning
- learning systems
- retrieval systems
- distributed database systems