Publication result detail

XML constraint specification language

RYŠAVÝ, O.

Original Title

XML constraint specification language

English Title

XML constraint specification language

Type

Paper in proceedings outside WoS and Scopus

Original 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.

English 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.

Keywords

XML, constraints, formal specifications

Key words in English

XML, constraints, formal specifications

Authors

RYŠAVÝ, O.

Released

16.09.2002

Publisher

Brno University of Technology

Location

Brno

ISBN

80-214-2180-0

Book

Proceedings of the 9th Electronic Devices and Systems Conference EDS'02

Pages count

4

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"
}