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.
| Original language | English |
|---|
| Place of Publication | Hagenberg, Linz |
|---|
| Publisher | RISC, JKU |
|---|
| Number of pages | 77 |
|---|
| Publication status | Published - May 2023 |
|---|
| Name | RISC Report Series |
|---|
| No. | 23-06 |
|---|
| ISSN (Print) | 2791-4267 |
|---|
- 101 Mathematics
- 101001 Algebra
- 101005 Computer algebra
- 101009 Geometry
- 101012 Combinatorics
- 101013 Mathematical logic
- 101020 Technical mathematics