Towards a logical foundation for XML Schema. Thompson, H. S. In abstract bibtex This paper defines a logic in which to express constraints on W3C XML Schema components and relationships between components and XML infoset items, for use in a formal rewriting of the W3C XML Schema Recommendations. The logic is essentially a constraint language over path expressions, interpreted equally with respect to an Infoset graph or a schema component graph. By 'logic' I mean the traditional three-part story comprised of a sentential form, a model theory and an interpretation.
@inproceedings{ tho04,
crossref = {xmleu2004},
author = {Henry S. Thompson},
title = {Towards a logical foundation for XML Schema},
uri = {http://www.ltg.ed.ac.uk/~ht/XML_Europe_2004.html},
uri = {http://www.idealliance.org/papers/dx_xmle04/index/title/62698df164b0a5a2c4a54c8678.html},
topic = {xsd[0.9]},
abstract = {This paper defines a logic in which to express constraints on W3C XML Schema components and relationships between components and XML infoset items, for use in a formal rewriting of the W3C XML Schema Recommendations. The logic is essentially a constraint language over path expressions, interpreted equally with respect to an Infoset graph or a schema component graph. By 'logic' I mean the traditional three-part story comprised of a sentential form, a model theory and an interpretation.}
}