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