A formal semantics for sql.
Silvio MeiraRegina MotzFernando TepedinoPublished in: Int. J. Comput. Math. (1990)
Keyphrases
- formal semantics
- er model
- relational databases
- query language
- sql queries
- database
- logical language
- owl dl ontology
- data types
- operational semantics
- databases
- logical reasoning
- formal language
- theorem prover
- first order logic
- relational model
- database design
- modelling language
- modeling language
- database applications
- database technology
- sql server
- data modeling
- database queries
- data model
- relational algebra
- query answering
- software engineering
- object oriented