Verifikace korektnosti formální sémantiky SQL

Štencl, Adam

Verifikace korektnosti formální sémantiky SQL

dc.contributor.advisor	Bača, Radim
dc.contributor.author	Štencl, Adam
dc.contributor.referee	Kot, Martin
dc.date.accepted	2026-06-01
dc.date.accessioned	2026-09-02T14:34:02Z
dc.date.available	2026-09-02T14:34:02Z
dc.date.issued	2025
dc.description.abstract	Tato bakalářská práce se zabývá verifikací formální sémantiky SQL. Cílem je porovnat výsledky dotazů generovaných na základě formální reprezentace databáze v Coqu s výsledky získanými z PostgreSQL. Proces zahrnuje extrakci dat z Coq databáze, jejich zpracování v Pythonu a následnou analýzu výsledků.	cs
dc.description.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.	en
dc.description.department	460 - Katedra informatiky	cs
dc.description.result	dobře	cs
dc.format.extent	1403965 bytes
dc.format.mimetype	application/pdf
dc.identifier.other	OSD002
dc.identifier.sender	S2724
dc.identifier.thesis	STE0560_FEI_B0613A140014_2025
dc.identifier.uri	http://hdl.handle.net/10084/160259
dc.language.iso	cs
dc.publisher	Vysoká škola báňská – Technická univerzita Ostrava	cs
dc.rights.access	openAccess
dc.subject	SQL	cs
dc.subject	formální sémantika	cs
dc.subject	Coq	cs
dc.subject	verifikace	cs
dc.subject	PostgreSQL	cs
dc.subject	Python	cs
dc.subject	SQL	en
dc.subject	formal semantics	en
dc.subject	Coq	en
dc.subject	verification	en
dc.subject	PostgreSQL	en
dc.subject	Python	en
dc.thesis.degree-grantor	Vysoká škola báňská – Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky	cs
dc.thesis.degree-level	Bakalářský studijní program	cs
dc.thesis.degree-name	Bc.
dc.thesis.degree-program	Informatika	cs
dc.title	Verifikace korektnosti formální sémantiky SQL	cs
dc.title.alternative	Verification of SQL Formal Semantics	en
dc.type	Bakalářská práce	cs
local.files.count	6
local.files.size	9594672
local.has.files	yes