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)

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/104582

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-476645


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Diplomové práce