-
1
-
-
0005379501
-
Containment of conjunctive regular path queries with inverse
-
D. Calvanese, G. D. Giacomo, M. Lenzerini, and M. Y. Vardi. Containment of conjunctive regular path queries with inverse. In Proc. 7th KR, pages 176-185, 2000.
-
(2000)
Proc. 7th KR
, pp. 176-185
-
-
Calvanese, D.1
Giacomo, G.D.2
Lenzerini, M.3
Vardi, M.Y.4
-
3
-
-
0002204639
-
Optimal implementation of conjunctive queries in relational databases
-
A. Chandra and P. Merlin. Optimal implementation of conjunctive queries in relational databases. In Proc. 9th STOC, 1977.
-
(1977)
Proc. 9th STOC
-
-
Chandra, A.1
Merlin, P.2
-
4
-
-
0007511914
-
Optimization of real conjunctive queries
-
S. Chaudhuri and M. Vardi. Optimization of real conjunctive queries. In Proc. 12th PODS, 1993.
-
(1993)
Proc. 12th PODS
-
-
Chaudhuri, S.1
Vardi, M.2
-
6
-
-
84880688611
-
Verifying integrity constraints on web-sites
-
M. Fernandez, D. Florescu, A. Levy, and D. Suciu. Verifying integrity constraints on web-sites. In Proc. 16th IJCAI, pages 614-619, 1999.
-
(1999)
Proc. 16th IJCAI
, pp. 614-619
-
-
Fernandez, M.1
Florescu, D.2
Levy, A.3
Suciu, D.4
-
8
-
-
0023827554
-
On conjunctive queries containing inequalities
-
A. Klug. On conjunctive queries containing inequalities. J. ACM, 35(1):146-160, 1988.
-
(1988)
J. ACM
, vol.35
, Issue.1
, pp. 146-160
-
-
Klug, A.1
-
9
-
-
0031632775
-
On the complexity of the containment problem for conjunctive queries with built-in predicates
-
P. Kolaitis, D. Martin, and M. Thakur. On the complexity of the containment problem for conjunctive queries with built-in predicates. In Proc. 17th PODS, pages 197-204, 1998.
-
(1998)
Proc. 17th PODS
, pp. 197-204
-
-
Kolaitis, P.1
Martin, D.2
Thakur, M.3
-
10
-
-
0029194729
-
Answering queries using views
-
A. Levy, A. Mendelzon, Y. Sagiv, and D. Srivastava. Answering queries using views. In Proc. 14th PODS, pages 95-104, 1995.
-
(1995)
Proc. 14th PODS
, pp. 95-104
-
-
Levy, A.1
Mendelzon, A.2
Sagiv, Y.3
Srivastava, D.4
-
11
-
-
0002724796
-
Queries independent of updates
-
A. Levy and Y. Sagiv. Queries independent of updates. In Proc. 19th VLDB, pages 171-181, 1993.
-
(1993)
Proc. 19th VLDB
, pp. 171-181
-
-
Levy, A.1
Sagiv, Y.2
-
12
-
-
0036038432
-
Containment and equivalence for an XPath fragment
-
G. Miklau and D. Suciu. Containment and equivalence for an XPath fragment. In Proc. 21st PODS, pages 65-76, 2002.
-
(2002)
Proc. 21st PODS
, pp. 65-76
-
-
Miklau, G.1
Suciu, D.2
-
13
-
-
22444454724
-
An equational chase for path-conjunctive queries, constraints, and views
-
L. Popa and V. Tannen. An equational chase for path-conjunctive queries, constraints, and views. In Proc. 7th ICDT, pages 39-57, 1999.
-
(1999)
Proc. 7th ICDT
, pp. 39-57
-
-
Popa, L.1
Tannen, V.2
-
15
-
-
84976685263
-
Equivalence among relational expressions with the union and difference operators
-
Y. Sagiv and M. Yannakakis. Equivalence among relational expressions with the union and difference operators. J. ACM, 27(4):633-655, 1981.
-
(1981)
J. ACM
, vol.27
, Issue.4
, pp. 633-655
-
-
Sagiv, Y.1
Yannakakis, M.2
-
16
-
-
0002732106
-
Equivalence of datalog programs is undecidable
-
O. Shmueli. Equivalence of datalog programs is undecidable. Theoretical Computer Science, 15(3):231-242, 1993.
-
(1993)
Theoretical Computer Science
, vol.15
, Issue.3
, pp. 231-242
-
-
Shmueli, O.1
-
17
-
-
84948958512
-
Information integration using logical views
-
J. Ullman. Information integration using logical views. In Proc. 6th ICDT, pages 19-40, 1997.
-
(1997)
Proc. 6th ICDT
, pp. 19-40
-
-
Ullman, J.1
-
18
-
-
0031078498
-
The complexity of querying indefinite data about linearly ordered domains
-
R. van der Meyden. The complexity of querying indefinite data about linearly ordered domains. J. Computer and System Sciences, 54(1):113-135, 1997.
-
(1997)
J. Computer and System Sciences
, vol.54
, Issue.1
, pp. 113-135
-
-
Van Der Meyden, R.1
|