Kontrola kompatibility datových typů v Oracle SQL
Checking the compatibility of data types in Oracle SQL
Type of document
diplomová prácemaster thesis
Author
Pelech Ondřej
Supervisor
Janoušek Jan
Opponent
Polách Radomír
Field of study
Systémové programováníStudy program
InformatikaInstitutions assigning rank
katedra teoretické informatikyDefended
2015-06-11Rights
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
Show full item recordAbstract
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.
Collections
- Diplomové práce - 18101 [208]