383 search results - page 62 / 77 » Query Containment for Conjunctive Queries with Regular Expre... |
134
click to vote
EPIA
1995
Springer
15 years 7 months ago
1995
Springer
In this paper, we study the retrieval problem in ALN, which is a tractable concept language with number restrictions. Following the approach proposed in [12], this work differs fr...
159
Voted
JAPLL
2010
15 years 1 months ago
2010
We provide complete axiomatizations for several fragments of XPath: sets of equivalences from which every other valid equivalence is derivable. Specifically, we axiomatize downwar...
115
click to vote
MKM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For e...
124
click to vote
PEPM
2007
ACM
15 years 9 months ago
2007
ACM
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 materi...
131
click to vote
DBPL
2007
Springer
15 years 7 months ago
2007
Springer
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...