Automatic Verification of Database-Centric Systems.
Alin DeutschRichard HullVictor VianuPublished in: SIGMOD Rec. (2014)
Keyphrases
- database
- data model
- databases
- database management systems
- relational databases
- learning systems
- knowledge based systems
- object oriented
- database schema
- intelligent systems
- management system
- database systems
- case study
- social networks
- query language
- data warehouse
- evolutionary algorithm
- peer to peer
- expert systems
- data analysis