loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
7th IEEE International Conference on Computer and Information Technology (CIT 2007)
Active XML Schema Containment Checking Based on Tree Automata Theory
Aizu-Wakamatsu City, Fukushima, Japan
October 16-October 19
ISBN: 0-7695-2983-6
Haitao Ma, Harbin Institute of Technology
Zhongxiao Hao, Harbin Institute of Technology
Yinghui Zhou, Yanshan University
An Active XML (AXML for short) document is an XML document where some of the data is given explicitly while other parts are defined only intentionally by means of em- bedded calls to Web services. When one of these calls is invoked, its results will be returned to enrich the original document. AXML schema defines the specification that AXML doc- uments should conform. Containment checking for AXML schemas has many applications, and is thus important. In this paper, we focus on the problem of AXML schema con- tainment and propose an efficient algorithm for this purpose based on tree automata theory. More precisely, we extend regular tree automata to represent AXML schemas and re- duce schema containment to the corresponding problem of tree automata. Though the latter has high complexity in general cases, we describe the tractable case by introduc- ing un-ambiguous restricts to AXML schema. Finally, we discuss that our methods for checking schema containment also can be used to solve the problem of AXML schema rewriting.
Citation:
Haitao Ma, Zhongxiao Hao, Yinghui Zhou, "Active XML Schema Containment Checking Based on Tree Automata Theory," cit, pp.11-16, 7th IEEE International Conference on Computer and Information Technology (CIT 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.