|
| |
|
|
Analytické zpracování XML dokumentů
Melichárek, Petr ; Pokorný, Jaroslav (vedoucí práce) ; Toman, Kamil (oponent)
V této práci se zabýváme rozšířením jazyka XQuery o analytické konstrukce známé z jazyka SQL - group by, roll up a cube. Navíc zavádíme novou konstrukci topologický roll up. Implementaním prostředím je nativní XML databáze eXist, kterou jsme rozšřili o modul obsahující zmíněné konstrukce. Při dotazování nad dokumenty databáze v jazyce XQuery tak můžeme použt implementované konstrukce jako uživatelské funkce. Testování ukázalo, že funkce jsou využitelné v praxi, a to i na velkých XML dokumentech a pro složité dotazy.
|
|
|
Analýza XML struktur
Benedikovič, Peter ; Toman, Kamil (vedoucí práce) ; Holubová, Irena (oponent)
Standard XML se již několik let využívá jako dominantní způsob reprezentace strukturovaných dat. Spolu s jeho masivním nasazením došlo k rozvoji systémů sloužících k ukládaní a zpřístupňování dat uložených ve formátu XML. Specikace XML umožňuje denovat velke množství struktur a data ukládaná do databází tak mohou být velmi heterogenní. Statická aplikace schémy využité v úložišti může pak vést ke ztrátě výkonnosti. V této práci jsme se snažili vytvořit prototyp adaptivní XML databáze, která na základě analýzy zpracovávaných dat a dat již uložených dokáže přizpůsobit jejich ukládání a indexování. Hlavním sledovaným cílem při vývoji systému bylo zlepšení výkonu z hlediska času a prostoru a použitelnost systému jako adaptivního úložiště velkého množství heterogenních XML dat.
|
|
|
Efektivní mechanismy XML komunikace
Rusnák, Pavol ; Janeček, Jan (vedoucí práce) ; Toman, Kamil (oponent)
XML komunikace je efektivní protože je příjemná z programátorského hlediska a má obrovskou flexibilitu. Dodnes se rozšířila na rozmanité platformy kromě jedné oblasti, kterou jsou vestavěné systémy. Je to hlavně proto, že zpracování textových spráav je náročné na prostředky a má obvykle velkou režii. Cílem této práce je navrhnout, implementovat a otestovat novou metodu zpracovávaní SOAP zpráv pomocí formálních gramatik a automatů a těm vlastně umožnit rozšíření webových služeb také na tato malá zařízení, dokonce i na ta, která neobsahují vlastní operační systém. Naše řešení jsme pojmenovali EXCUSA, podle akronymu anglického názvu Eff ective XML Communication Using SOAP and Automata.
|
|
|
Externí prostředí pro systém Soar
Aharkava, Larysa ; Brom, Cyril (vedoucí práce) ; Toman, Kamil (oponent)
Cílem této práce je vyvinout vnější prostředí pro implementaci kognitivní architektury Soar, jenž by umožňovalo testování Soar agentů. Navržené prostředí by mělo vykazovat dostatečnou flexibilitu k testování různorodých Soar agentů. Program by měl uživateli také umožňovat tvorbu kombinací testovacích prostředí z již existujících objektů a modulů. Nedílnou součástí vyvinutého prostředí tvoří možnost jeho komunikace s jádrem Soaru. Práce se taktéž zabývá nástinem teoretických principů Soaru, deskripcí podobných prostředí a jejich srovnáním.
|
|
|
Automatická konstrukce schématu pro množinu XML dokumentů
Vošta, Ondřej ; Holubová, Irena (vedoucí práce) ; Toman, Kamil (oponent)
Jazyk XML je stále důležitější formát pro uchování a výměnu dat. Pro korektní výměnu dat, jejich efektivní ukládání a zpracování je nutné znát jejich strukturu. Stále však existuje a je vytvářeno mnoho dokumentů bez popisu jejich struktury. Tato práce se zabývá možností automatického generování schémat popisujících strukturu na základě dané množiny dokumentů. Prezentovaný algoritmus rozděluje elementy dokumentu do skupin podle podobnosti. Pro každou skupinu je vygenerován regulární výraz co nejlépe popisující strukturu vstupních elementů s využitím možností jazyka XML Schema.
|
|
|
Statická analýza XSLT programů
Červák, Jan ; Bednárek, David (vedoucí práce) ; Toman, Kamil (oponent)
Nazev prace: Staticka, analyza. XSLT programu Autor: ,Ian Cervak Katedra: Katcdra softwarovcho inzenyr.stvi Vedouci diplomove prace: RNDr. David Bednarek E-mail vedouciho: David.Bcdnarekinnir.cuni.cz Abstrakt: Zabyvame se statickou analyzou XSLT programu se znalosti sche- matu vstupnich dokumeutu. Analyza, je zamcfena, na odhalovani behovych chyb v prograniecli. Konkretue hiedamp nedosazitelna pravidla,, slepa vo- lani a cykly ve volamch pravidcl, jako zdroj potrncialne nekonecneho behu prograniu. XSLT je t\iringo\sky uplny ja/yk, konipletni staticka analyza je z principu neproveditelna, feseni tohoto problcniu jsou Jen i^fiblizna. Pre- zentovane rcseui je kvazi-sinndace bohu programu nad niodeleni XML doku- inentu. Vyslodny graf toku fizeni programu rlava infonnaee o zkouinanych probleineeh. Algcjritinus simulace je zavedeu nezavisle na pouzitein inodclu, coz pfinasi moznost analyzy na. ruzne urovni dotailu. Klicova slova: a.nalyza toku rizeiii, XSLT, XML Schema, behove dryby, zasta- vcni Title: Static analysis of XST/F ]>rograms Author: Jan Cervak Department: Department of Software Engineering Supervisor: RXDr. David Bcdnarek Supervisor's e-mail address: David.BednarekyimU'.cnni.cz Abstract: The aim of this work is static analysis of XSLT programs with the knowledge of an input document's schema....
|
|
|
Relační modelování biologických dat
Krejčík, Roman ; Pokorný, Jaroslav (vedoucí práce) ; Toman, Kamil (oponent)
Některé aplikace zpracování dat v databázových systémech vyžadují práci s hierarchicky uspořádanými daty. Informace takového charakteru se často vyskytují v biologických databázích, ale lze se s nimi setkat i v jiných oblastech. Efektivní dotazování specifické pro hierarchie vyžadují vhodnou reprezentaci grafových struktur v relační databázi. Tato práce se zabývá popisem známých metod pro ukládání hierarchických dat do relační databáze. Zaměřuje se zejména na vzájemné odlišnosti jednotlivých metod a zkoumá vhodnost jejich použití pro různé typy hierarchií. Součástí práce jsou také experimenty nad reálnými kolekcemi biologických dat, které porovnávají efektivitu jednotlivých způsobů uložení prakticky.
|
|
|
Generating UML Sequence Diagrams from the Code
Šimon, Štefan ; Richta, Karel (vedoucí práce) ; Toman, Kamil (oponent)
Sekvenčné diagramy sú jedným typom UML diagramov. Špecifikácia UML 2.1 prináša nové vlastnosti sekvenčných diagramov umožňujúce znázorniť správanie systému na úrovni programového kódu. S príchodom týchto vlastností vzniká priestor pre vytvorenie nástroja umožňujúceho reverzné inžinierstvo sekvenčných diagramov z programového kódu. Cieľom tejto práce je návrh a implementácia nástroja umožňujúca reverzné inžinierstvo UML 2.1 sekvenčných diagramov z programového kódu. Použitý prístup umožňuje reverzné inžinierstvo sekvenčných diagramov pre celú aplikáciu, ako aj pre jednotlivé metódy tried aplikácie. Pri generovaní diagramu aplikácie je použitá run-time dynamická analýza. Statická analýza grafu riadenia toku metódy sa využíva pri generovaní diagramu metódy. Súčasťou práce je i editor sekvenčných diagramov vytvorený pomocou konceptu doménovo-špecifických jazykov. Editor umožňuje export do štandardizovaného formátu XMI.
|
|
|
XML data na disku jako databáze
Toman, Kamil
V této práci jsou shrnuty možné přístupy při návrhu systému pro práci s perzistentními XML daty. Jsou popsány některé základní XML dotazovací jazyky, včetně moderních jazyků jako jsou XPath a XQuery. Podrobně jsou rozebrány vlastnosti datového modelu XML a možnosti implementace vyhodnocování dotazů nad XML daty ve vnější paměti. Jsou popsány nejen tradiční navigační metody, ale i novější algoritmy strukturálního spojení. Vysvětleny jsou i některé indexové struktury, které si při vyhodnocení těmito technikami používají. Jsou to např. indexy DataGuide, pokrývající indexy, metody SphinX a APEX. Teoretická část práce se také zabývá některými základními číselnými schématy zachycujícími strukturální podstatu dokumentu, např. intervalovými a prefixovými schématy, a vztahy mezi nimi. Praktická část práce zahrnuje experimentální aplikaci pracující s bází XML dat. Aplikace se skládá z nativního XML úložiště a jednoduché implementace dotazovacího jazyka navrženého tak, aby pokrýval nejdůležitější konstrukce jazyka XQuery.
|
host ::
RSS.