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%3A00101312" target="_blank" >RIV/00216208:11320/08:00101312 - 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

INCOX - jazyk pro popis integritních omezení v XML

Czech description

V současnosti neexistuje specializovaný jazyk pro popis komplexních integritních omezení v XML dokumentech. V tomto příspěvku navrhujeme jazyk, dosahující potřebné vyjadřovací síly kombinací logiky prvního řádu s jazykem XPath. Běžné kvantifikátory bylyrozšířeny tak, aby dovolovaly specifikovat (jak absolutně počtem, tak relativně poměrem), kolik prvků množiny musí omezení splňovat. Navržený jazyk může být použit v kombinaci s libovolným jazykem pro popis XML schématu. Validátor omezení podporuje spocifikaci omezení jak pomocí textového, tak XML formátu. Zatímco první varianta je snáze čitelná pro člověka, XML varianta je vhodná pro další zpracovávání počítačem.

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

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ů

Name of the periodical

CEUR Workshop Proceedings

ISSN

1613-0073

e-ISSN

—

Volume of the periodical

330

Issue of the periodical within the volume

Neuveden

Country of publishing house

GB - UNITED KINGDOM

Number of pages

12

Pages from-to

—

UT code for WoS article

—

EID of the result in the Scopus database

—