281 search results - page 23 / 57 » Querying the Guarded Fragment |
222
click to vote
ICDT
2009
ACM
16 years 2 months ago
2009
ACM
The class of unions of conjunctive queries (UCQ) has been shown to be particularly well-behaved for data exchange; its certain answers can be computed in polynomial time (in terms...
141
click to vote
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
Twig queries have been extensively studied as a major fragment of XPATH queries to query XML data. In this paper, we study PXMLRANK query, (Q, k), which is to rank top-k probabili...
183
click to vote
PPSWR
2005
Springer
15 years 7 months ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We propose to demonstrate LiquidXML, a platform for managing large corpora of XML documents in large-scale P2P networks. All LiquidXML peers may publish XML documents to be shared...
155
click to vote
SEBD
2003
15 years 3 months ago
2003
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...