Attributes | Values |
---|
rdf:type
| |
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 byly rozšíř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. (cs)
- 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.
- 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. (en)
|
Title
| - Incox - A language for XML Integrity Constraints Description
- INCOX - jazyk pro popis integritních omezení v XML (cs)
- Incox - A language for XML Integrity Constraints Description (en)
|
skos:prefLabel
| - Incox - A language for XML Integrity Constraints Description
- INCOX - jazyk pro popis integritních omezení v XML (cs)
- Incox - A language for XML Integrity Constraints Description (en)
|
skos:notation
| - RIV/00216208:11320/08:00101312!RIV09-MSM-11320___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...iv/cisloPeriodika
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216208:11320/08:00101312
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Incox; language; Integrity; Constraints; Description (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...odStatuVydavatele
| - GB - Spojené království Velké Británie a Severního Irska
|
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/nazevZdroje
| - CEUR Workshop Proceedings
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...v/svazekPeriodika
| |
http://linked.open...iv/tvurceVysledku
| - Kopecký, Michal
- Opočenská, Kateřina
|
http://linked.open...n/vavai/riv/zamer
| |
issn
| |
number of pages
| |
http://localhost/t...ganizacniJednotka
| |