Název: | Překlad logického programu do uložených objektů SŘBD PostgreSQL |
Další názvy: | Translation of logic program into stored objects in PostgreSQL DBMS |
Autoři: | Fuksová, Kateřina |
Vedoucí práce/školitel: | Zíma, Martin |
Oponent: | Kratochvíl, Michal |
Datum vydání: | 2015 |
Nakladatel: | Západočeská univerzita v Plzni |
Typ dokumentu: | diplomová práce |
URI: | http://hdl.handle.net/11025/17901 |
Klíčová slova: | logický program;uložené databázové objekty;postgresql;deduktivní databázový systém |
Klíčová slova v dalším jazyce: | logic program;stored database objects;postgresql;deductive database system |
Abstrakt: | Tato diplomová práce se zabývá překladem logického programu do uložených objektů SŘBD PostgreSQL. V první části jsou objasněné základní pojmy týkající se logického programování, programovacího jazyka PL/pgSQL a teorie grafů. Dále je podrobně popsán algoritmus transformace logického programu do uložených objektů SŘBD PostgreSQL a realizace programu PrologToPostgreSQL, který tuto transformaci zajišťuje. Velká pozornost je věnována vytvoření hlavní funkce, která respektuje vztahy mezi uloženými funkcemi a volá je v co nejvýhodnějším pořadí. Tento vytvořený program se v budoucnu stane součástí experimentálního deduktivního databázového systému. V poslední části jsou zmíněny výsledky testování aplikace. |
Abstrakt v dalším jazyce: | This thesis focuses on the translation of logic program into stored objects in PostgreSQL DBMS. In the first part, it clarifies the basic concepts of logic programming, the PL/pgSQL language and the theory of graphs. It also describes in detail the algorithm of transformation of logic program into stored objects in PostgreSQL DBMS and the PrologToPostgreSQL program, which deals with the transformation. A great degree of attention is devoted to creating of the main function respecting the relations between the stored functions and calling them in the most effective order. In the future, this program will become the part of experimental deductive database system. In the last part, the results of the testing are mentioned. |
Práva: | Plný text práce je přístupný bez omezení. |
Vyskytuje se v kolekcích: | Diplomové práce / Theses (KIV) |
Soubory připojené k záznamu:
Soubor | Popis | Velikost | Formát | |
---|---|---|---|---|
Diplomova_prace_Fuksova.pdf | Plný text práce | 1,09 MB | Adobe PDF | Zobrazit/otevřít |
vedouci-A12N0078Phodnoceni-ved.PDF | Posudek vedoucího práce | 443,83 kB | Adobe PDF | Zobrazit/otevřít |
oponent-A12N0078Pposudek-op.PDF | Posudek oponenta práce | 469,58 kB | Adobe PDF | Zobrazit/otevřít |
obhajoba-A12N0078Pobhajoba.PDF | Průběh obhajoby práce | 256,67 kB | Adobe PDF | Zobrazit/otevřít |
Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam:
http://hdl.handle.net/11025/17901
Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.