Verification supported refactoring of embedded sql.
Mirko SpasicMilena Vujosevic-JanicicPublished in: Softw. Qual. J. (2021)
Keyphrases
- relational databases
- query language
- database design
- relational model
- model checking
- databases
- sql queries
- database language
- back end
- database
- database applications
- relational database systems
- cd rom
- data model
- formal verification
- data types
- case study
- database access
- data modeling
- embedded systems
- database management
- sql server
- software systems
- source code
- data structure
- db universal database
- structured query language
- database processing
- relational dbms
- asynchronous circuits
- database development
- database programming
- database administrators
- database queries
- database schema