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.}
}
Downloads: 0