Konceptuální modelování neurochirurgických dat.
Conceptual modeling of neurosurgical data.
diploma thesis (DEFENDED)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/104582Identifiers
Study Information System: 44082
Collections
- Kvalifikační práce [10932]
Author
Advisor
Referee
Nečaský, Martin
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
Software systems
Department
Department of Software Engineering
Date of defense
11. 9. 2006
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
Czech
Grade
Very good
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)