Detail výsledku

XML constraint specification language

RYŠAVÝ, O. XML constraint specification language. Proceedings of the 9th Electronic Devices and Systems Conference EDS'02. Brno: Brno University of Technology, 2002. 4 p. ISBN: 80-214-2180-0.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D., FIT (FIT)
Abstrakt

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.

Klíčová slova

XML, constraints, formal specifications

Rok
2002
Strany
4
Sborník
Proceedings of the 9th Electronic Devices and Systems Conference EDS'02
Konference
EDS 2002 Electronic Devices and Systems Conference
ISBN
80-214-2180-0
Vydavatel
Brno University of Technology
Místo
Brno
BibTeX 
@inproceedings{BUT10048,
  author="Ondřej {Ryšavý}",
  title="XML constraint specification language",
  booktitle="Proceedings of the 9th Electronic Devices and Systems Conference EDS'02",
  year="2002",
  pages="4",
  publisher="Brno University of Technology",
  address="Brno",
  isbn="80-214-2180-0"
}
Projekty
Vestavěné řídicí systémy a jejich vzájemná komunikace, GAČR, Standardní projekty, GA102/02/1032, zahájení: 2002-01-01, ukončení: 2004-12-31, ukončen
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru