Bidirectional interpretation of XQuery

XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materialized XQuery views. We first design an expressive bidirectional transformation language, and then translate XQuery into this language. The programs of this bidirectional language can be executed in two directions: in the forward direction, they generate materialized views from XML source data; while in the backward direction, they update the source data by reflecting back the updates on views. Hence, with such an interpretation, XQuery can not only query, but also update XML source data through views by being executed forward or backward. We prove that this language satisfy two well-behaved criteria, the stability property and the extended round-tripping property. The stability property is already used by the existing view updating methods, while the extended round-tripping property is proposed by us for t...

• Type: Conference
• Year: 2007
• Where: PEPM
• Authors: Dongxi Liu, Zhenjiang Hu, Masato Takeichi
• Keywords: Bidirectional Language, PEPM 2007, Software Engineering, Source Data, XQuery