-
3
-
-
0036498318
-
A formal model for an expressive fragment of XSLT
-
G. Bex, S. Maneth, and F. Neven. A formal model for an expressive fragment of XSLT. Information Systems, 27(1):21-39, 2002.
-
(2002)
Information Systems
, vol.27
, Issue.1
, pp. 21-39
-
-
Bex, G.1
Maneth, S.2
Neven, F.3
-
4
-
-
0005505910
-
Reasoning in expressive description logics
-
Elsevier
-
D. Calvanese, G. De Giacomo, M. Lenzerini, and D. Nardi. Reasoning in expressive description logics. In Handbook of Automated Reasoning, pages 1581-1634. Elsevier, 2001.
-
(2001)
Handbook of Automated Reasoning
, pp. 1581-1634
-
-
Calvanese, D.1
De Giacomo, G.2
Lenzerini, M.3
Nardi, D.4
-
6
-
-
0036206022
-
Efficient filtering of XML documents with XPath expressions
-
C. Chan, P. Felber, M. Garofalakis, and R. Rastogu. Efficient filtering of XML documents with XPath expressions. In ICDE, 2002.
-
(2002)
ICDE
-
-
Chan, C.1
Felber, P.2
Garofalakis, M.3
Rastogu, R.4
-
9
-
-
4243056572
-
Containment for classes of XPath expressions under integrity constraints
-
A. Deutsch and V. Tannen. Containment for classes of XPath expressions under integrity constraints. In KRDB, 2001.
-
(2001)
KRDB
-
-
Deutsch, A.1
Tannen, V.2
-
10
-
-
26844477057
-
Efficient algorithms for processing XPath queries
-
G. Gottlob, C. Koch, and R. Pichler. Efficient algorithms for processing XPath queries. In VLDB, 2002.
-
(2002)
VLDB
-
-
Gottlob, G.1
Koch, C.2
Pichler, R.3
-
12
-
-
0019899359
-
Pattern matching in trees
-
C. Hoffmann and M. O'Donnell. Pattern matching in trees. JACM, 29(1):68-95, 1982.
-
(1982)
JACM
, vol.29
, Issue.1
, pp. 68-95
-
-
Hoffmann, C.1
O'Donnell, M.2
-
13
-
-
0029291968
-
Ordered and unordered tree inclusion
-
P. Kilpelainen and H. Manilla. Ordered and unordered tree inclusion. SIAM J. Comput., 24(2):340-356, 1995.
-
(1995)
SIAM J. Comput.
, vol.24
, Issue.2
, pp. 340-356
-
-
Kilpelainen, P.1
Manilla, H.2
-
14
-
-
1842444888
-
Containment and equivalence of XPath expressions
-
G. Miklau and D. Suciu. Containment and equivalence of XPath expressions. In PODS, 2002.
-
(2002)
PODS
-
-
Miklau, G.1
Suciu, D.2
-
15
-
-
33244454955
-
Typechecking for XML transformers
-
T. Milo, D. Suciu, and V. Vianu. Typechecking for XML transformers. In PODS, 2001.
-
(2001)
PODS
-
-
Milo, T.1
Suciu, D.2
Vianu, V.3
-
16
-
-
0034833048
-
Extended path expressions for XML
-
M. Murata. Extended path expressions for XML. In PODS, 2001.
-
(2001)
PODS
-
-
Murata, M.1
-
17
-
-
0033707278
-
Expressive and efficient languages for tree-structured data
-
F. Neven and T. Schwentick. Expressive and efficient languages for tree-structured data. In PODS, 2000.
-
(2000)
PODS
-
-
Neven, F.1
Schwentick, T.2
-
19
-
-
0036367425
-
Efficient algorithms for minimizing tree pattern queries
-
P. Ramanan. Efficient algorithms for minimizing tree pattern queries. In SIGMOD, 2002.
-
(2002)
SIGMOD
-
-
Ramanan, P.1
-
20
-
-
0000818372
-
On defining relations for the algebra of regular events
-
Russian
-
V. Redko. On defining relations for the algebra of regular events. Ukrainskii Matematicheskii Zhurnal, 16:120-126, 1964. (Russian).
-
(1964)
Ukrainskii Matematicheskii Zhurnal
, vol.16
, pp. 120-126
-
-
Redko, V.1
-
22
-
-
0038724515
-
-
W3C Working Draft, May
-
H. Thompson et al. XML Schema. W3C Working Draft, May 2001. http://www.w3.org/XML/Schema.
-
(2001)
XML Schema
-
-
Thompson, H.1
-
24
-
-
0002362650
-
On the equivalence of XML patterns
-
P. Wood. On the equivalence of XML patterns. In Computational Logic, 2000.
-
(2000)
Computational Logic
-
-
Wood, P.1
-
25
-
-
33244475752
-
Minimising simple XPath expressions
-
P. Wood. Minimising simple XPath expressions. In WebDB, 2001.
-
(2001)
WebDB
-
-
Wood, P.1
|