Login / Signup
Formal Semantics and Soundness of a Translation from Event-B Actions to SQL Statements.
Tim Wahls
Published in:
CoRR (2016)
Keyphrases
</>
formal semantics
sql statements
sql queries
database applications
modeling language
modelling language
logical language
databases
relational databases
database
situation calculus
theorem prover
case study
first order logic
oracle database
relational database systems