A Unified Constraint Model for XML

Wenfei Fan, Gabriel M. Kuper, Jérôme Siméon

Wenfei Fan, Gabriel M. Kuper, Jérôme Siméon, A Unified Constraint Model for XML, Computer Networks, 39(5):489-505, August 2002.

Integrity constraints are an essential part of modern schema definition languages. They are useful for semantic specification, update consistency control, query optimization, etc. In this paper, we propose UCM, a model of integrity constraints for XML that is both simple and expressive. Because it relies on a single notion of keys and foreign keys, the UCM model is easy to use and makes formal reasoning possible. Because it relies on a powerful type system, the UCM model is expressive, capturing in a single framework the constraints found in relational databases, object-oriented schemas and XML document type definitions. We study the problem of consistency of UCM constraints, the interaction between constraints and subtyping, and algorithms for implementing these constraints.


Keywords: XML (Extensible Markup Language)0.8;


Bibliography Navigation: Reference List; Author Index; Title Index; Keyword Index

Generated by sharef2html on 2011-04-15, 02:00:41.