Informatics Report Series


Report   

EDI-INF-RR-0653


Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Home
Title:Towards a logical foundation for XML Schema
Authors: Henry Thompson
Date:Apr 2004
Publication Title:Proceedings of XML Europe 2004
Publication Type:Conference Paper Publication Status:Published
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.
Links To Paper
As published, some problems with special character rendering
Clean copy
Bibtex format
@InProceedings{EDI-INF-RR-0653,
author = { Henry Thompson },
title = {Towards a logical foundation for XML Schema},
book title = {Proceedings of XML Europe 2004},
year = 2004,
month = {Apr},
url = {http://www.idealliance.org/papers/dx_xmle04/papers/02-06-02/02-06-02.html},
}


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh