Ověření vlastností SQL kódu
| but.committee | doc. Dr. Ing. Dušan Kolář (předseda) prof. RNDr. Alexandr Meduna, CSc. (člen) Ing. Vladimír Veselý, Ph.D. (člen) Dr. Ing. Petr Peringer (člen) Ing. Aleš Smrčka, Ph.D. (člen) doc. RNDr. Jitka Kreslíková, CSc. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných, např. ohledně způsobu implementace parseru, podoby podporovaných pravidel, jejich rozšiřitelnosti a způsobu testování realizačního výstupu. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm velmi dobře / B. | cs |
| but.jazyk | slovenština (Slovak) | |
| but.program | Informační technologie a umělá inteligence | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Rychlý, Marek | sk |
| dc.contributor.author | Bali, Filip | sk |
| dc.contributor.referee | Bartík, Vladimír | sk |
| dc.date.created | 2023 | cs |
| dc.description.abstract | Táto diplomová práca sa zaoberá kontrolou vlastností SQL kódu na základe statickej analýzy s využitím preddefinovaných pravidiel. Pravidlo predstavuje základný element kontroly. Užívateľ si môže definovať vlastné pravidlo a začleniť ho do kontroly. Pravidlo typicky obsahuje súbor podmienok obsiahnutých v algoritme, ktorý kontroluje uzly v abstraktnom syntaktickom strome. Ten je vytvorený zo vstupného SQL príkazu a prispôsobený tak, aby bolo možné nad jeho uzlami aplikovať pravidlá. Ak pravidlo zistí nezrovnalosť, potom môže vytvoriť hlásenie. Potom sú tieto hlásenia zobrazené na zvolený výstup. Na základe práce bol implementovaný program s otvoreným kódom v programovacom jazyku Python3. Tento program je verejne dostupný. | sk |
| dc.description.abstract | This thesis focuses on checking the properties of SQL code based on static analysis using predefined rules. The rule represents a basic element of the check. The user can define their own rule and include it in the check. A rule usually contains a set of conditions that are contained in an algorithm that checks nodes in an abstract syntactic tree. Abstract syntactic tree is created from an input SQL statement and customized so that rules can be applied over its nodes. If the rule detects an error, then it can generate a report. These reports are then displayed on the selected output. Based on the thesis, an open source program in the Python3 programming language was implemented. This program is publicly available. | en |
| dc.description.mark | B | cs |
| dc.identifier.citation | BALI, F. Ověření vlastností SQL kódu [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023. | cs |
| dc.identifier.other | 143979 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/213189 | |
| dc.language.iso | sk | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | Statická analýza kódu | sk |
| dc.subject | SQL kód | sk |
| dc.subject | Kontextová analýza | sk |
| dc.subject | Pravidlá | sk |
| dc.subject | Program | sk |
| dc.subject | Otvorený kód | sk |
| dc.subject | Static code analysis | en |
| dc.subject | SQL code | en |
| dc.subject | Context analysis | en |
| dc.subject | Rules | en |
| dc.subject | Program | en |
| dc.subject | Open source | en |
| dc.title | Ověření vlastností SQL kódu | sk |
| dc.title.alternative | Checking SQL Code Properties | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2023-06-20 | cs |
| dcterms.modified | 2023-06-20-09:22:25 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 143979 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 15:37:18 | en |
| sync.item.modts | 2025.01.15 22:55:32 | en |
| thesis.discipline | Informační systémy a databáze | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |