Publication Details

XML constraint specification language

RYŠAVÝ Ondřej. XML constraint specification language. In: Proceedings of the 9th Electronic Devices and Systems Conference EDS'02. Brno: Brno University of Technology, 2002, p. 4. ISBN 80-214-2180-0.
Czech title
XML specifikační jazyk
Type
conference paper
Language
english
Authors
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT)
Keywords

XML, constraints, formal specifications

Abstract

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 language is 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 whole document instead of isolated elements.

Published
2002
Pages
4
Proceedings
Proceedings of the 9th Electronic Devices and Systems Conference EDS'02
Conference
Proceedings of Electronic Devices and Systems, Brno, CZ
ISBN
80-214-2180-0
Publisher
Brno University of Technology
Place
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB6970,
   author = "Ond\v{r}ej Ry\v{s}av\'{y}",
   title = "XML constraint specification language",
   pages = 4,
   booktitle = "Proceedings of the 9th Electronic Devices and Systems Conference EDS'02",
   year = 2002,
   location = "Brno, CZ",
   publisher = "Brno University of Technology",
   ISBN = "80-214-2180-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6970"
}
Back to top