Toward a verified relational database management system.
J. Gregory MalechaGreg MorrisettAvraham ShinnarRyan WisneskyPublished in: POPL (2010)
Keyphrases
- relational database management systems
- database management systems
- storage and retrieval
- database systems
- relational databases
- relational model
- relational database systems
- sql queries
- databases
- xml databases
- security requirements
- information systems
- knowledge base
- object oriented
- data management
- database
- database technology