On satisfiability, equivalence, and implication problems involving conjunctive queries in database systems

IEEE Transactions on Knowledge and Data Engineering

Volumn 8, Issue 4, 1996, Pages 604-616

  Guo, Sha ^b   Sun, Wei ^a,b   Weiss, Mark A ^b  

^a IEEE

^b Florida International University   (United States)

Author keywords

Conjunctive queries; Database; Derivability problem; Implication problem; NP hard; Satisfiability

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; PROBLEM SOLVING; QUERY LANGUAGES;

CONJUNCTIVE QUERIES; DERIVABILITY PROBLEM; IMPLICATION PROBLEM; SATISFIABILITY PROBLEM;

DATABASE SYSTEMS;

EID: 0030212771     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.536253     Document Type: Article

References (33)

1. A.V. Aho, J.E. Hopcroft, and J.D. Ullman, Data Structures and Algorithms. Reading, Mass.: Addison-Wesley, 1983.
2. A.V. Aho, Y. Sagiv, and J.D. Ullman, "Efficient Optimization of a Class of Relational Expressions," ACM Trans. Database Systems, vol. 4, no. 4, pp. 435-454, Dec. 1979.
3. J.A. Blakeley, N. Coburn, and P.A. Larson, "Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates," Proc. 11th Int'l Conf. Very Large Data Bases, pp. 457-466, 1986.
4. J.A. Blakeley, P.A. Larson, and F.W. Tompa, "Efficiently Updating Materialized Views," Proc. ACM SIGMOD Int'l Conf. Management of Data, pp. 61-71, 1986.
5. U. Chakravarthy, J. Grant, and J. Minker, "Logic-Based Approach to Semantic Query Optimization," ACM TODS, pp. 162-207, June 1990.
6. T. Cormen, C. Leiserson, and R. Rivest, Introduction to Algorithms. Massachusetts: MIT Press, 1990.
7. R.W. Floyd, "Algorithm 97: Shortest Path," Comm. ACM, vol. 5, no. 6, p. 345, June 1962.
8. S. Guo, W. Sun, and M.A. Weiss, "On Satisfiability, Equivalience, and Implication Problems Involving Conjunctive Inequalities of the Form (x op c) and/or (x op y + c) in Database Systems," technical report, FIU, Miami, Fla., Oct. 1992.
9. J. Jaffar and J. Lassez, "Constraint Logic Programming," Proc. 14th ACM POPL, pp. 111-119, 1987.
10. J. Jaffar, S. Michaylov, P. Stuckey, and R. Yap, "The clp() Language and System," ACM Trans. Programming Languages and Systems, vol. 14, no. 3, pp. 339-395, July 1992.
11. M. Jarke, "Common Subexpression Isolation in Multiple Query Optimization," W. Kim., D. Reiner, and D. Batory, eds., Query Processing in Database Systems. New York: Springer-Verlag, 1984.
12. D. Johnson and A. Klug, "Optimizing Conjunctive Queries that Contain Untyped Variables," SIAM J. Computing, vol. 12, no. 4, pp. 616-640, Nov. 1983.
13. D. Johnson and A. Klug, "Testing Containment of Conjunctive Queries under Functional and Inclusion Dependencies, J. Computing Systems Science, vol. 28, no. 1, pp. 167-189, Feb. 1984.
14. P. Kanellakis, G. Kuper, and P. Revesz, "Constraint Query Languages, Proc. Ninth ACM Symp. Principles of Database Systems, pp. 299-313, 1990.
15. W. Kim, "Global Optimization of Relational Queries: A First Step," W. Kim, D. Reiner, and D. Batory, eds., Query Processing in Database Systems, New York: Springer-Verlag, 1984.
16. J.J. King, Query Optimization by Semantic Reasoning. Ann Arbor, Mich.: UMI Research Press, 1984.
17. A. Klug, "On Conjunctive Queries Containing Inequalities," J. ACM, vol. 35, no. 1, pp. 146-160, Jan. 1988.
18. D. Maier and J.D. Ullman, "Fragments of Relations," Proc. ACM SIGMOD Int'l Conf. Management of Data, 1983.
19. V.R. Pratt, "Two Easy Theories Whose Combination is Hard," technical report, Cambridge, Mass.: MIT, Sept. 1977.
20. D.J. Rosenkrantz and H.B. Hunt III, "Processing Conjunctive Predicates and Queries," Proc. Sixth Int'l Conf. Very Large Databases, pp. 64-72, 1980.
21. T.K. Sellis, "Global Query Optimization," Proc. ACM SIGMOD Int'l Conf. Management of Data, pp. 191-205, 1986.
22. W. Sun and M.A. Weiss, "An Efficient Algorithm for Testing Implication Involving Arithmetic Inequalities," IEEE Trans. Knowledge and Data Engineering, vol. 6, no. 5, Oct. 1994.
23. W. Sun and C. Yu, "Semantic Query Optimization for Tree and Chain Queries," IEEE Trans. Knowledge and Data Engineering, vol. 6, no. 1, pp. 136-151, Feb. 1994.
24. X. Sun, N.N. Kamell, and L.M. Ni, "Processing Implication on Queries," IEEE Trans. Software Engineering, vol. 15, no. 10, pp. 1,168-1,175, Oct. 1989.
25. R. Tarjan, "Depth-First Search and Linear Graph Algorithms," SIAM J. Computing, vol. 1, no. 2, pp. 146-160, June 1972.
26. R. Tarjan, Data Structures and Network Algorithms. Philadelphia, Penn.: SIAM, 1983.
27. J.D. Ullman, Principles of Database and Knowledge-Base Systems, vol. II. Computer Science Press, 1989.
28. J.D. Ullman, Principles of Database and Knowledge-Base Systems, vol. I. Computer Science Press, 1989.
29. J.D. Ullman and A. Van Gelder, "Efficient Tests for Top-Down Termination of Logical Rules," J. ACM, vol. 35, no. 2, pp. 345-373, Apr. 1988.
30. M.A. Weiss, Data Structures and Algorithm Analysis. Benjamin/Cummings, 1992.
31. E. Wong and K. Youssef, "Decomposition - A Strategy for Query Processing," ACM Trans. Database Systems, vol. 1, no. 3, Sept. 1976.
32. C. Yu, K. Guh, D. Brill, and A. Chen, "Partition Strategy for Distributed Query Processing in Fast Local Networks," IEEE Trans. Software Engineering, pp. 780-793, 1989.
33. C. Yu and W. Sun, "Automatic Knowledge Acquisition for Semantic Query Optimization," IEEE Trans. Knowledge and Data Engineering, pp. 362-375, Sept. 1989.