Home > Search Results: Bystroň, Jakub
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 2 records found  Search took 0.00 seconds. 
Conceptual modeling of neurosurgical data.
 Bystroň, Jakub ; Říha, Antonín (advisor) ; Nečaský, Martin (referee)
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)
Detailed record
Conceptual modeling of neurosurgical data.
 Bystroň, Jakub ; Říha, Antonín (advisor) ; Nečaský, Martin (referee)
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)
Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English