<NOTE: The code and this site was last updated in 2009, the project is not maintained anymore>
------------------------------------------------------------------------------------------------------------------------
XML Document Validator is an implementation of CLiXML - Constraint Language in XML - that has been designed to express complex constraints about XML content using a mixture of first order logic and XPath.
CLiXML is complementary to XML-Schema or RelaxNG. Document structure, data types and references should be expressed in schema, while more complex contraints regarding XML document content should be reserved for CLiXML.
CLiXML plays the same role in XML validation as Schematron. While Schematron relies only on functionality offered by XPath, CLiXML has additional adventage of first order logic which makes rules simpler to express and understand.
XDV has been originally created in year 2006 as a validation module for project FESA developed at CERN. FESA extensively uses XML as a modeling language and quickly reached the limits of XML-Schema validation abilities.