Joachim Borya,
"Formalisation of Relational Algebra and a SQL-like Language with the RISCAL Model Checker"
, Serie RISC Report Series, Nummer 23-06, RISC, JKU, Hagenberg, Linz, 5-2023, ISSN: 2791-4267
Original Titel:
Formalisation of Relational Algebra and a SQL-like Language with the RISCAL Model Checker
Sprache des Titels:
Englisch
Original Kurzfassung:
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.
Forschungs-