Original title: Konceptuální modelování neurochirurgických dat.
Translated title: Conceptual modeling of neurosurgical data.
Authors: Bystroň, Jakub ; Říha, Antonín (advisor) ; Nečaský, Martin (referee)
Document type: Master’s theses
Year: 2006
Language: cze
Abstract: [cze] [eng]
V této práci je představen nový minimalistický konceptuální AC-model určený pro modelování hierarchických dat. Při budování modelu syntaxe vycházíme z toho, co máme na logické úrovni k dispozici, tedy z regulárních stromových gramatik. AC-model se skládá ze dvou částí - archetypového modelu (A-model) a sady omezujících podmínek (C-model) vyjádřených pomocí logiky prvního rádu. Dokážeme, že A-model je schopen namodelovat libovolnou regulární stromovou gramatiku. Dále dokážeme, že problém validace podle AC-modelu je NP-težký a že problém existence validní instance konkrétního AC-modelu je nerozhodnutelný. Součástí práce je rovnež pilotní implementace systému pro validování XML dokumentu na základě C-modelu. Powered by TCPDF (www.tcpdf.org) We present a new minimalistic conceptual model for hierarchical data called AC-model. Syntax part of this model is based upon the regular tree grammar theory. AC-model is composed of two parts - Archetype model and Constraint model. A-model is intended to model arbitrary regular tree grammar, C- model adds a first order logic constraints. We also prove that validity problem for ACmodel is NP-hard and conformance problem is undecidable. Along with this thesis C-model based validator of XML documents' semantics is presented. Powered by TCPDF (www.tcpdf.org)

Institution: Charles University Faculties (theses) (web)
Document availability information: Available in the Charles University Digital Repository.
Original record: http://hdl.handle.net/123456789/104582

Permalink: http://www.nusl.cz/ntk/nusl-392490


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Master’s theses