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
{"_id":{"_str":"53ff72c17c90ec6e13001126"},"__v":0,"authorIDs":[],"author_short":["Thompson, H.<nbsp>S."],"bibbaseid":"thompson-towardsalogicalfoundationforxmlschema","bibdata":{"downloads":0,"role":"author","bibbaseid":"thompson-towardsalogicalfoundationforxmlschema","uri":"http://www.idealliance.org/papers/dx_xmle04/index/title/62698df164b0a5a2c4a54c8678.html","type":"inproceedings","topic":"xsd[0.9]","title":"Towards a logical foundation for XML Schema","key":"tho04","id":"tho04","crossref":"xmleu2004","bibtype":"inproceedings","bibtex":"@inproceedings{ tho04,\n crossref = {xmleu2004},\n author = {Henry S. Thompson},\n title = {Towards a logical foundation for XML Schema},\n uri = {http://www.ltg.ed.ac.uk/~ht/XML_Europe_2004.html},\n uri = {http://www.idealliance.org/papers/dx_xmle04/index/title/62698df164b0a5a2c4a54c8678.html},\n topic = {xsd[0.9]},\n 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.}\n}","author_short":["Thompson, H.<nbsp>S."],"author":["Thompson, Henry S."],"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."},"bibtype":"inproceedings","biburl":"http://dret.net/biblio/dret.bib","creationDate":"2014-08-28T18:19:45.951Z","downloads":0,"keywords":[],"search_terms":["towards","logical","foundation","xml","schema","thompson"],"title":"Towards a logical foundation for XML Schema","year":null,"dataSources":["mL7NKvaepNEWFcMvG"]}