-
2
-
-
0018724359
-
Efficient optimization of a class of relational expressions
-
A. Aho, Y. Sagiv, and J.D. Ullman. Efficient optimization of a class of relational expressions. ACM Trans, on Database Systems, 4:435-454,1979.
-
(1979)
ACM Trans, on Database Systems
, vol.4
, pp. 435-454
-
-
Aho, A.1
Sagiv, Y.2
Ullman, J.D.3
-
4
-
-
0020496929
-
Optimization algorithms for distributed queries
-
P. Apers, A. Hevner, and S. Yao. Optimization algorithms for distributed queries. IEEE Trans. Software Engineering, 9(l):57-68,1983.
-
(1983)
IEEE Trans. Software Engineering
, vol.9
, Issue.50
, pp. 57-68
-
-
Apers, P.1
Hevner, A.2
Yao, S.3
-
6
-
-
85037918238
-
A tourist guide through treewidth
-
H.L. Bodlaender. A tourist guide through treewidth. Acta Cybernetica, 11:1-21,1993.
-
(1993)
Acta Cybernetica
, vol.11
, pp. 1-21
-
-
Bodlaender, H.L.1
-
9
-
-
84947275319
-
Using combinatorial optimization methods for quantification scheduling
-
P. Chauhan, E.M. Clarke, S. Jha, J.H. Kukula, H. Veith, and Dong Wang. Using combinatorial optimization methods for quantification scheduling. In Proc. 11th Conf. on Correct Hardware Design and Verification Methods, pages 293-309,2001.
-
(2001)
Proc. 11th Conf. on Correct Hardware Design and Verification Methods
, pp. 293-309
-
-
Chauhan, P.1
Clarke, E.M.2
Jha, S.3
Kukula, J.H.4
Veith, H.5
Wang, D.6
-
10
-
-
35048882388
-
Conjunctive query containment revisited
-
Stanford University, November
-
C. Chekuri and A. Ramajaran. Conjunctive query containment revisited. Technical report, Stanford University, November 1998.
-
(1998)
Technical Report
-
-
Chekuri, C.1
Ramajaran, A.2
-
11
-
-
84957041924
-
Constraint satisfaction, bounded treewidth, and finite-variable logics
-
V. Dalmau, P.G. Kolaitis, and M.Y. Vardi. Constraint satisfaction, bounded treewidth, and finite-variable logics. In Proc. Principles and Practice of Constraint Programming (CP '2002), pages 311-326,2002.
-
(2002)
Proc. Principles and Practice of Constraint Programming (CP '2002)
, pp. 311-326
-
-
Dalmau, V.1
Kolaitis, P.G.2
Vardi, M.Y.3
-
12
-
-
84880665054
-
Mini-buckets: A general scheme for generating approximations in automated reasoning
-
R. Dechter. Mini-buckets: A general scheme for generating approximations in automated reasoning. In International Joint Conference on Artificial Intelligence, pages 1297-1303, 1997.
-
(1997)
International Joint Conference on Artificial Intelligence
, pp. 1297-1303
-
-
Dechter, R.1
-
13
-
-
0033188982
-
Bucket elimination: A unifying framework for reasoning
-
R. Dechter. Bucket elimination: a unifying framework for reasoning. Artificial Intelligence, 113(1-2):41-85,1999.
-
(1999)
Artificial Intelligence
, vol.113
, Issue.1-2
, pp. 41-85
-
-
Dechter, R.1
-
15
-
-
0023842374
-
Network-based heuristics for constraint-satisfaction problems
-
R. Dechter and J. Pearl. Network-based heuristics for constraint-satisfaction problems. Artificial Intelligence, 34:1-38,1987.
-
(1987)
Artificial Intelligence
, vol.34
, pp. 1-38
-
-
Dechter, R.1
Pearl, J.2
-
17
-
-
84959244144
-
Complexity of k-tree structured constraint satisfaction problems
-
E.C Freuder. Complexity of k-tree structured constraint satisfaction problems. In Proc. AAAI-90, pages 4-9,1990.
-
(1990)
Proc. AAAI-90
, pp. 4-9
-
-
Freuder, E.C.1
-
22
-
-
85051567368
-
Access path selection in a relational database management system
-
P.P. Griffiths, M.M. Astrahan, D.D. Chamberlin, R.A. Lone, and T.G. Price. Access path selection in a relational database management system. In ACM SIGMOD International Conference on Management of Data, pages 23-34, 1979.
-
(1979)
ACM SIGMOD International Conference on Management of Data
, pp. 23-34
-
-
Griffiths, P.P.1
Astrahan, M.M.2
Chamberlin, D.D.3
Lone, R.A.4
Price, T.G.5
-
23
-
-
0035658039
-
Answering queries using views: A survey
-
A. Halevy. Answering queries using views: A survey. VLDB Journal, pages 270-294, 2001.
-
(2001)
VLDB Journal
, pp. 270-294
-
-
Halevy, A.1
-
26
-
-
0034295721
-
Conjunctive-query containment and constraint satisfaction
-
Earlier version in: Proc. 17th ACM Symp. on Principles of Database Systems (PODS '98)
-
Ph.G. Kolaitis and M.Y. Vardi. Conjunctive-query containment and constraint satisfaction. Journal of Computer and System Sciences, pages 302-332, 2000. Earlier version in: Proc. 17th ACM Symp. on Principles of Database Systems (PODS '98).
-
(2000)
Journal of Computer and System Sciences
, pp. 302-332
-
-
Kolaitis, P.G.1
Vardi, M.Y.2
-
27
-
-
35048897403
-
A scalable algorithm for query minimization
-
University of Washington
-
I.K. Kunen and D. Suciu. A scalable algorithm for query minimization. Technical report, University of Washington, 2002.
-
(2002)
Technical Report
-
-
Kunen, I.K.1
Suciu, D.2
-
29
-
-
0034140791
-
Resolution versus search: Two strategies for SAT
-
I. Rish and R. Dechter. Resolution versus search: Two strategies for SAT. Journal of Automated Reasoning, 24(l/2):225-275, 2000.
-
(2000)
Journal of Automated Reasoning
, vol.24
, Issue.50
, pp. 225-275
-
-
Rish, I.1
Dechter, R.2
-
31
-
-
0021473698
-
Simple linear-time algorithms to tests chordality of graphs, tests acyclicity of hypergraphs, and selectively reduce acyclic hypergraphs
-
R. E. Tarjan and M. Yannakakis. Simple linear-time algorithms to tests chordality of graphs, tests acyclicity of hypergraphs, and selectively reduce acyclic hypergraphs. SIAM J. on Computing, 13(3):566-579,1984.
-
(1984)
SIAM J. on Computing
, vol.13
, Issue.3
, pp. 566-579
-
-
Tarjan, R.E.1
Yannakakis, M.2
-
34
-
-
84976812728
-
Decomposition - A strategy for query processing
-
E. Wong and K. Youssefi. Decomposition - a strategy for query processing. ACM Trans, on Database Systems, 1(3):223-241, 1976.
-
(1976)
ACM Trans, on Database Systems
, vol.1
, Issue.3
, pp. 223-241
-
-
Wong, E.1
Youssefi, K.2
-
36
-
-
84947235770
-
Optimizing large join queries in mediation systems
-
R. Yemeni, C. Li, J.D. Ullman, and H. Garcia-Molina. Optimizing large join queries in mediation systems. Lecture Notes in Computer Science, 1540:348-364, 1999.
-
(1999)
Lecture Notes in Computer Science
, vol.1540
, pp. 348-364
-
-
Yemeni, R.1
Li, C.2
Ullman, J.D.3
Garcia-Molina, H.4
|