XML-RL Update Language: Syntax and Semantics
With the extensive use of XML in applications over the Web, how to update XML data is becoming an important issue because the roje of XML has expanded beyond traditional applications in which XML is used for information exchange and data representation over the Web. Therefore, several languages have been proposed for updating XML data, but they have two major shortcomings. One is that these updating languages are based on lower, so-called graph-based or treebased data models, update requests are thus expressed in a nonintuitive and unnatural way and update statements are too complicated to comprehend. The other is that there is still no consensus about the logical foundation for updanng XML data. This paper presents a novel declarative XML update language which is an extension of the XML-RL query language. Compared with other existing XML update languages, it has the following features. First, it is the only XML data manipulation language based on a higher data model. All of the other update languages adopt socalled graph based or tree-based data models. Therefore, update requests can be expressed in a more intuitive and natural way in our language than in the other languages. Second, our language can express complex update requests at multiple level in a hierarchy in a simple and flat way. Some existing languages have to express such complex requests in nested updates,which are too complicated and nonintuitive for users to comprehend. Third, our language directly supports the functionality of updating complex objects while all other update language do not support these operations. Lastly, most of existing languages use rename t0 modify attribute and element names, which is a different way from updates on value. Our language modifies tag names, values, and objects in a unified way by the introduction of tbree kinds of logical binding variables: object variables, value variables. and name variables. In this paper, the syntax and semantics of the XML RL update language are formally described based on the logic programming. The powerful ability of our language is shown by a lot of examples.
Yajun Jiang Zhenlun Yang Zengrong Zhan
School of Information Engineering, Guangzhou Panyu Polytechnic Shawan Qinshanhu, Panyu District, Guangzhou 511483, China
国际会议
2010 2nd International Conference on Signal Processing System(2010年信号处理系统国际会议 ICSPS 2010)
大连
英文
1650-1656
2010-07-05（万方平台首次上网日期，不代表论文的发表时间）