Název:
Konceptuální modelování neurochirurgických dat.
Překlad názvu:
Conceptual modeling of neurosurgical data.
Autoři:
Bystroň, Jakub ; Říha, Antonín (vedoucí práce) ; Nečaský, Martin (oponent) Typ dokumentu: Diplomové práce
Rok:
2006
Jazyk:
cze
Abstrakt: [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)