Formal Semantics of SQL Queries.
Mauro NegriGiuseppe PelagattiLicia SbattellaPublished in: ACM Trans. Database Syst. (1991)
Keyphrases
- formal semantics
- sql queries
- relational databases
- relational database systems
- logical language
- xml documents
- xml queries
- modeling language
- first order logic
- theorem prover
- database schema
- relational model
- data mining algorithms
- relational algebra
- inference rules
- database
- xml schema
- main memory
- expert systems
- multi agent systems
- databases