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