Using maude rewriting system to modularize and extend SQL.
Scibor SobieskiBartosz ZielinskiPublished in: SAC (2013)
Keyphrases
- data model and query language
- relational databases
- query language
- database management
- database
- sql queries
- relational database systems
- database design
- database queries
- formal specification
- rewrite rules
- database language
- data types
- relational model
- cd rom
- database applications
- database processing
- object oriented
- conjunctive queries
- relational dbms
- ibm db
- relational database management systems
- back end
- database technology