. "GB - Spojen\u00E9 kr\u00E1lovstv\u00ED Velk\u00E9 Brit\u00E1nie a Severn\u00EDho Irska" . . . . "INCOX - jazyk pro popis integritn\u00EDch omezen\u00ED v XML"@cs . "Neuveden" . . "Incox - A language for XML Integrity Constraints Description" . "330" . . . . "2"^^ . . "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." . "1"^^ . . "Z(MSM0021620838)" . "Incox - A language for XML Integrity Constraints Description" . "RIV/00216208:11320/08:00101312" . "CEUR Workshop Proceedings" . "Incox - A language for XML Integrity Constraints Description"@en . . "Kopeck\u00FD, Michal" . "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 . "Incox - A language for XML Integrity Constraints Description"@en . "1613-0073" . "Opo\u010Densk\u00E1, Kate\u0159ina" . "INCOX - jazyk pro popis integritn\u00EDch omezen\u00ED v XML"@cs . "Incox; language; Integrity; Constraints; Description"@en . . . . "11320" . "[4480AE06E975]" . . "V sou\u010Dasnosti neexistuje specializovan\u00FD jazyk pro popis komplexn\u00EDch integritn\u00EDch omezen\u00ED v XML dokumentech. V tomto p\u0159\u00EDsp\u011Bvku navrhujeme jazyk, dosahuj\u00EDc\u00ED pot\u0159ebn\u00E9 vyjad\u0159ovac\u00ED s\u00EDly kombinac\u00ED logiky prvn\u00EDho \u0159\u00E1du s jazykem XPath. B\u011B\u017En\u00E9 kvantifik\u00E1tory byly roz\u0161\u00ED\u0159eny tak, aby dovolovaly specifikovat (jak absolutn\u011B po\u010Dtem, tak relativn\u011B pom\u011Brem), kolik prvk\u016F mno\u017Einy mus\u00ED omezen\u00ED spl\u0148ovat. Navr\u017Een\u00FD jazyk m\u016F\u017Ee b\u00FDt pou\u017Eit v kombinaci s libovoln\u00FDm jazykem pro popis XML sch\u00E9matu. Valid\u00E1tor omezen\u00ED podporuje spocifikaci omezen\u00ED jak pomoc\u00ED textov\u00E9ho, tak XML form\u00E1tu. Zat\u00EDmco prvn\u00ED varianta je sn\u00E1ze \u010Diteln\u00E1 pro \u010Dlov\u011Bka, XML varianta je vhodn\u00E1 pro dal\u0161\u00ED zpracov\u00E1v\u00E1n\u00ED po\u010D\u00EDta\u010Dem."@cs . . "371832" . "RIV/00216208:11320/08:00101312!RIV09-MSM-11320___" . . "12"^^ .