Verifikace korektnosti formální sémantiky SQL
Loading...
Downloads
0
Date issued
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoká škola báňská – Technická univerzita Ostrava
Location
Signature
Abstract
This bachelor’s thesis focuses on verifying the formal semantics of SQL. The goal is to compare query results generated from a formal Coq database representation with those obtained from PostgreSQL.
The process involves extracting data from Coq, processing it in Python, and analyzing the results.
Description
Delayed publication
Available after
Subject(s)
SQL, formal semantics, Coq, verification, PostgreSQL, Python