91 search results - page 2 / 19 » Querying XML Documents in Logic Programming |
ICDT
2007
ACM
13 years 11 months ago
2007
ACM
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...
TIME
2003
IEEE
13 years 10 months ago
2003
IEEE
DOCENG
2008
ACM
13 years 7 months ago
2008
ACM
As XML has emerged as a data representation format and as great quantities of data have been stored in the XML format, XML document design has become an important and evident issu...
DOCENG
2009
ACM
13 years 12 months ago
2009
ACM
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...
BDA
2004
13 years 6 months ago
2004
We present the path sequence storage model, a new logical model for storing XML documents. This model partitions XML data and content according to the document paths; and uses orde...