Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion.
Tiago L. AlvesPaulo F. SilvaJoost VisserJosé Nuno OliveiraPublished in: FM (2005)
Keyphrases
- term rewriting
- theorem proving
- operational semantics
- theorem prover
- relational databases
- rewrite systems
- query language
- database language
- knuth bendix
- sql queries
- database
- database queries
- relational model
- database design
- databases
- data types
- database applications
- knowledge management
- database management
- relational dbms
- relational database management systems
- relational database systems
- first order logic
- case study
- decision making
- database server
- database programming
- database management systems
- sql server
- database technology