"Formalisation of Relational Algebra and a SQL-like Language with the RISCAL Model Checker"
, Serie Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria, RISC, JKU, Hagenberg, Linz, 2023
Formalisation of Relational Algebra and a SQL-like Language with the RISCAL Model Checker
Sprache des Titels:
The relational database model is based on the mathematical concept of relational algebra. Query languages have been developed to make data available quickly without creating dedicated access procedures that depend on the internal representation of the data. SQL (structured query language) can be seen as a quasi-standard for this. This thesis deals with the formalization and verification of relational algebra and a small but elementary subset of SQL with the help of the RISCAL model checker, a software tool for the formal specification and verification of mathematical theories and algorithms.
Sprache der Kurzfassung:
Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria