Incox - A language for XML Integrity Constraints Description

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F08%3A00206207" target="_blank" >RIV/00216208:11320/08:00206207 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Incox - A language for XML Integrity Constraints Description

Original language description

Presently, there is no specialized language for complex integrity constraints description in XML documents. In this paper we present a language that combines first-order logic together with XPath language to achieve needed expressive power. Standard quantifiers of first-order logic were extended to allow us to specify (either by count or by percentage) how many elements of the selected set must hold given constraint. The proposed language can be used in conjunction with any XML schema language. The Incox validator supports both plain-text and XML variants of constraint specification. While the first one is easily understandable for humans, the latter meets requirements of machine processing.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2008

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

DATESO 2008

ISBN

978-80-248-1746-0

ISSN

—

e-ISSN

—

Number of pages

12

Pages from-to

—

Publisher name

VŠB ? Technical University of Ostrava

Place of publication

—

Event location

Neuveden

Event date

Jan 1, 2008

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

000272440700001