Kontrola kompatibility datových typů v Oracle SQL
Checking the compatibility of data types in Oracle SQL
Typ dokumentu
diplomová prácemaster thesis
Autor
Pelech Ondřej
Vedoucí práce
Janoušek Jan
Oponent práce
Polách Radomír
Studijní obor
Systémové programováníStudijní program
InformatikaInstituce přidělující hodnost
katedra teoretické informatikyObhájeno
2015-06-11Práva
A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdfVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdf
Metadata
Zobrazit celý záznamAbstrakt
Programy v Oracle SQL mohou selhat, když obsahují chyby. V této práci představíme metodu pro odhalování chyb specifického druhu -- nekompatibilita datových typů.
Analyzujeme datové typy a vestavěné funkce v dialektu Oracle SQL.
Navrhneme metodu pro kontrolu kompatibility datových typů, která pracuje nad grafem datových toků.
Tuto metodu implementujeme v jazyku Java. Programs in the Oracle SQL language can go wrong if they contain mistakes.
In this thesis we present a method for discovering one particular kind of mistakes -- incompatibility of datatypes.
We analyze the datatypes and built-in functions in the Oracle SQL dialect.
Then we design a method for compatibility checking that works on the dataflow graph.
We implement the checker in Java.
Kolekce
- Diplomové práce - 18101 [216]