This Article 
 Bibliographic References 
 Add to: 
An Improved Algorithm for Implication Testing Involving Arithmetic Inequalities
December 1994 (vol. 6 no. 6)
pp. 997-1001

Implication testing of arithmetic inequalities has been widely used in different areas in database systems and has received extensive research as well. Klug and Ullman (A. Klug, 1988; and J.D. Ullman, 1989) proposed an algorithm that determines whether S implies T, where T and S consist of inequalities of form (X op Y), X and Y are two variables, and opε{=, <, ≤, ≠, >, ≥};. The complexity of the algorithm is O(n³), where n is the number of inequalities in S. We reduce the problem to matrix multiplication, thus improving the time bound to O(n^2.376). We also demonstrate an O(n²) algorithm if the number of inequalities in T is bounded by O(n). Since matrix multiplication has been well studied, our reduction allows the possibility of directly adopting many practical results for managing matrices and their operations, such as parallel computation and efficient representation of sparse matrices.

[1] A. Aho, J. Hopcroft, and J. Ullman,Data Structures and Algorithms. Reading, MA: Addison-Wesley, 1983.
[2] J. A. Blakeley, N. Coburn, and P.-A. Larson, "Updating derived relations: Detecting irrelevant and autonomously computable updates," inProc. Very Large Data Bases, 1986, pp. 457-466.
[3] J. Blakeley, P. Larson, and F. Tompa, "Efficiently updating materialized views," inProc. ACM-SIGMOD Int. Conf Management of Data, Washington, May 28-30, 1986.
[4] S. Ceri, M. Negri, and G. Pelagatti, "Horizontal data partitioning in database design," inProc. ACM SIGMOD Conf., 1982, pp. 128-136.
[5] U.S. Chakravarthy, J. Grant, and J. Minker, "Logic-based approach to semantic query optimization,"ACM Trans. Database Syst., vol. 15, pp. 162-207, 1990.
[6] D. Coppersmith and S. Winograd, "Matrix multiplication via arithmetic progression," inProc. 19th Annual Symp. Theory of Computation, 1987, pp. 1-6.
[7] S. Finkelstein, "Common expression analysis in database applications," inProc. 1982 ACM-SIGMOD Int. Conf. Management of Data, Orlando, FL, June 1982.
[8] M. Jarke and J. Koch, "Query optimization in database systems,"ACM Comput. Surveys, vol. 16, no. 2, June 1984.
[9] M. Jarke, "Common subexpression isolation in multiple query processing," in W. Kim, D. Reiner, and D. Batory Eds.,Query Processing in Database Systems. New York: Springer-Verlag, 1984.
[10] J. J. King,Query Optimization by Semantic Reasoning. Ann Arbor, MI: UMI Research Press, 1984.
[11] A. Klug, "On conjunctive queries containing inequalities,"JACM, vol. 35, pp. 146-160, Jan. 1988.
[12] P.-A. Larson and H. Z. Yang, "Computing queries from derived relations," inProc. 11th Very Large Data Base Conf., 1985, pp. 259-269.
[13] D. Maier and J. D. Ullman, "Fragments of relations," inProc. ACM SIGMOD Conf., 1983, pp. 15-22.
[14] R. Munz, H.-J. Schneider, and F. Steyer, "Application of subpredicate tests in database systems," inProc. 5th Very Large Data Base Conf., 1979, pp. 426-435.
[15] D. J. Rosenkrantz and H. B. Hunt, "Processing conjunctive predicates and queries," inProc. 6th Very Large Data Base Conf., 1980, pp. 64-72.
[16] T. Sellis, "Multiple-query optimization,"ACM Trans. Database Syst., vol. 13, no. 1, Mar. 1988.
[17] T. K. Sellis and S. Ghosh, "On the multiple-query optimization problem,"IEEE Trans. Knowl. Data Eng., vol. 2, pp. 262-266, June 1990.
[18] S. Shenoy and Z. Ozsoyoglu, "Design and implementation of a semantic query optimizer,"IEEE Trans. Knowl. Data Eng., vol. 1, pp. 344-361, Sept. 1989.
[19] X. Sun, N. Kamel, and L. M. Ni, "Solving implication problems in database applications," inProc. ACM SIGMOD, May 1989, pp. 185- 192.
[20] W. Sun and C. Yu, "Semantic query optimization for tree and chain queries," to appear inIEEE Trans. Knowl. Data Eng.vol. 6, pp. 136-151, Feb. 1994.
[21] R. Endre Tarjan,Data Structures and Network Algorithms, Society for Industrial and Applied Mathematics, 1983.
[22] J. D. Ullman,Database and Knowledge-base Systems. Rockville, MD: Computer Science Press, 1988.
[23] M. Weiss,Data Structures and Algorithm Analysis. Redwood City, CA: Benjamin/Cummings, 1992.
[24] C. Yu and C. Chang, "Distributed query processing,"ACM Comput. Surveys, vol. 16, no. 4, pp. 399-433, Dec. 1984.
[25] C. Yu, C. Chang, M. Templeton, D. Brill, and E. Lund, "On the design of a distributed query processing strategy,"Proc. ACM SIGMOD Conf., 1983, pp. 30-39.
[26] C. T. Yu, C. C. Chang, M. Templeton, D. Brill, and E. Lund, "Query processing in a fragmented relational distributed system: Mermaid,"IEEE Trans. Software Eng., vol. SE-11, no. 8, pp. 795- 810, Aug. 1985.
[27] C. Yu and W. Sun, "Automatic knowledge acquisition and maintenance for semantic query optimization,"IEEE Trans. Knowl. Data Eng., vol. 1, pp. 362-375, Sept. 1989.

Index Terms:
query processing; computational complexity; matrix multiplication; sparse matrices; implication testing; arithmetic inequalities; database systems; complexity; matrix multiplication; parallel computation; sparse matrices; query optimization; satisfiability; equivalence
W. Sun, M.A. Weiss, "An Improved Algorithm for Implication Testing Involving Arithmetic Inequalities," IEEE Transactions on Knowledge and Data Engineering, vol. 6, no. 6, pp. 997-1001, Dec. 1994, doi:10.1109/69.334889
Usage of this product signifies your acceptance of the Terms of Use.