XML constraint specification language
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F02%3APU36240" target="_blank" >RIV/00216305:26230/02:PU36240 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
XML constraint specification language
Popis výsledku v původním jazyce
The aim of this article is to define a constraint language of XML documents. The constraint language extends the language of predicate logic with equality. The transformation of XML document to the corresponding relation system that realized the languageis described in detail. The intention of the constraint language is to support a complex checking of static semantics of XML documents. In opposite of what DTD or XML Schema offer the constraint language allows to express conditions with scope of the whhole document instead of isolated elements.
Název v anglickém jazyce
XML constraint specification language
Popis výsledku anglicky
The aim of this article is to define a constraint language of XML documents. The constraint language extends the language of predicate logic with equality. The transformation of XML document to the corresponding relation system that realized the languageis described in detail. The intention of the constraint language is to support a complex checking of static semantics of XML documents. In opposite of what DTD or XML Schema offer the constraint language allows to express conditions with scope of the whhole document instead of isolated elements.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA102%2F02%2F1032" target="_blank" >GA102/02/1032: Vestavěné řídicí systémy a jejich vzájemná komunikace</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2002
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the 9th Electronic Devices and Systems Conference EDS'02
ISBN
80-214-2180-0
ISSN
—
e-ISSN
—
Počet stran výsledku
4
Strana od-do
0-3
Název nakladatele
Brno University of Technology
Místo vydání
Brno
Místo konání akce
Brno
Datum konání akce
9. 9. 2002
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—