1 paper · 1 filter
Alban Gabillon
In this paper, we first define a logical theory representing an XML database supporting XPath as query language and XUpdate as modification language. We then extend our theory with…