| Title: | Překlad logického programu do uložených objektů SŘBD PostgreSQL |
| Other Titles: | Translation of logic program into stored objects in PostgreSQL DBMS |
| Authors: | Fuksová, Kateřina |
| Advisor: | Zíma, Martin |
| Referee: | Kratochvíl, Michal |
| Issue Date: | 2015 |
| Publisher: | Západočeská univerzita v Plzni |
| Document type: | diplomová práce |
| URI: | http://hdl.handle.net/11025/17901 |
| Keywords: | logický program;uložené databázové objekty;postgresql;deduktivní databázový systém |
| Keywords in different language: | logic program;stored database objects;postgresql;deductive database system |
| Abstract: | 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. |
| Abstract in different language: | 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. |
| Rights: | Plný text práce je přístupný bez omezení. |
| Appears in Collections: | Diplomové práce / Theses (KIV) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Diplomova_prace_Fuksova.pdf | Plný text práce | 1,09 MB | Adobe PDF | View/Open |
| vedouci-A12N0078Phodnoceni-ved.PDF | Posudek vedoucího práce | 443,83 kB | Adobe PDF | View/Open |
| oponent-A12N0078Pposudek-op.PDF | Posudek oponenta práce | 469,58 kB | Adobe PDF | View/Open |
| obhajoba-A12N0078Pobhajoba.PDF | Průběh obhajoby práce | 256,67 kB | Adobe PDF | View/Open |
Please use this identifier to cite or link to this item:
http://hdl.handle.net/11025/17901Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.