This Article 
 Bibliographic References 
 Add to: 
Automatic Knowledge Acquisition and Maintenance for Semantic Query Optimization
September 1989 (vol. 1 no. 3)
pp. 362-375

The authors present an approach to acquiring knowledge from previously processed queries. By using newly acquired knowledge together with given semantic knowledge, it is possible to make the query processor and/or optimizer more intelligent so that future queries can b processed more efficiently. The acquired knowledge is in the form of constraints. While some constraints are to be enforced for all database states, others are known to be valid for the current state of the database. The former constraints are statistic integrity constraints, while the latter are called dynamic integrity constraints. Some situations in which certain dynamic semantic constraints can be automatically extracted are identified. This automatic tool for knowledge acquisition can also be used as an interactive tool for identifying potential static integrity constraints. The concept of minimal knowledge base is introduced, and a method to maintain the knowledge base is presented. An algorithm to compute the restriction (selection) closure, i.e. all deductible restrictions, from a given set of restrictions, join predicates (as given in a query), and constraints is given.

[1] S. Abiteboul and V. Vianu, "A transaction language complete for database update and specification," inProc. 6th ACM SIGACT-SIGMOD Symp. Principles of Database Syst., 1987, pp. 260-268.
[2] M. Brodie, "On modeling behavioral semantics of data,'" inProc. 7th Int. Conf. VLDB, 1981, pp. 31-42.
[3] U. S. Chakravarthy, D. Fishman, and J. Minker, "Semantic query optimization in expert systems and database systems," inProc. First Workshop Expert Database Systems, Kiawah Island, SC, Oct. 1984; also inExpert Database Systems, L. Kerschberg, Ed. New York: Benjamin/Cummins, 1986.
[4] U. S. Chakravarthy, J. Minker, and J. Grant, "Semantic query optimization: Additional constraints and control strategies," inExpert Database System, L. Kerschberg, Ed. Benjamin/Cummings, 1987. pp. 345-379.
[5] C. L. Chang and R. C. T. Lee,Symbolic Logic and Mechanical Theorem Proving. New York: Academic, 1973.
[6] C. J. Date,An Introduction to Database Systems, vols. 1 and 2. Reading, MA: Addison-Wesley, vol. 1, 1981, vol. 2, 1983.
[7] H. Decker, "Integrity enforcement on deductive databases," inExpert Database System, L. Kerschberg, Ed. Benjamin/Cummings, 1987, pp. 381-395.
[8] H. Ehrich, U. Lipeck, and M. Gogolla, "Specification, semantics, and enforcement of dynamic database constraints," inProc. 10th Int. Conf. VLDB, 1984, pp. 301-308.
[9] M. M. Hammer and D. J. McLeod, "Semantic integrity in relational database systems," inProc. 1st Int. Conf. Very Large Databases, 1975, pp. 25-47.
[10] M. M. Hammer and S. B. Zdonik, "Knowledge-based query processing," inProc. 6th Int. Conf. Very Large Databases, Sept. 1980, pp. 137-147.
[11] M. Jarke, J. Clifford, and Y. Vassiliou, "An optimizing prolog front-end to a relational query system," inProc. ACM-SIGMOD 1984 Int. Conf. Management of Data, Boston, MA, June 1984, pp. 296-306.
[12] M. Jarke, "External semantic query simplification: A graph-theoretic approach and its implementation in Prolog," inProc. 1st Int. Conf. Expert Database Syst., Kiawah, Isl., SC, Oct. 1984, pp. 467-482.
[13] J. J. King, "Quist: A system for semantic query optimization in relational databases," inProc. 7th Very Large Databases Conf., 1981, pp. 510-517.
[14] J. J. King,Query Optimization by Semantic Reasoning. Ann Arbor, MI: UMI Research Press, 1984.
[15] C. Kung, "On verification of database temporal constraints," inProc. ACM SIGMOD Conf., 1985, pp. 169-179.
[16] The Laguna Beach Participants, "Future directions in DBMS research,"SIGMOD Rec., vol. 18, pp. 17-26, Mar. 1989.
[17] C. V. Malley and S. B. Zdonik, "A knowledge-based approach to query optimization," inExpert Database System, L. Kerschberg, Ed. Benjamin/Cummings, 1987, pp. 329-343.
[18] D. McLeod, "1988 VLDB panel on future directions in DBMS research: A brief, informal summary,"SIGMOD Rec., vol. 18, pp. 27- 30, Mar. 1989.
[19] X. Qian and D. Smith, "Integrity constraint reformulation for efficient validation," inProc. 13th VLDB, Brighton, England, Sept. 1987, pp. 417-425.
[20] X. Qian and R. Waldinger, "A transaction logic for database specification," inProc. SIGMOD'88, Chicago, IL, June 1988, pp. 243- 250.
[21] S. T. Shenoy and Z. M. Ozsoyoglu, "A system for semantic query optimization," inProc. ACM SIGMOD, May 1987, pp. 181-195.
[22] M. D. Siegel, "Automatic rule derivation for semantic query optimization," inProc. 2nd Int. Conf. Expert Database Syst., L. Kerschberg, Ed. VA: George Mason Foundation, 1988, pp. 371-386.
[23] J. D. Ullman,Principles of Databases Systems. Rockville, MD: Computer Science Press, 1982.
[24] J. D. Ullman,Database and Knowledge-base Systems. Rockville, MD: Computer Science Press, 1988.
[25] G. Wiederhold,Database Design. New York: McGraw-Hill, 1983.
[26] G. Wiederhold and X. Qian, "Modeling Asynchrony in Distributed Databases,"Proc. 1987 Int'l Conf. Data Eng., CS Press, Los Alamitos, Calif., Order No. FJ762, 1987, pp. 246-250.
[27] C. L. Yu and Z. M. Ozsoyoglu, "On determining tree query membership of a distributed query,"Can. J. Oper. Res. Inform. Processing, pp. 211-218, Aug. 1984.
[28] C. T. Yu, L. Lilien, K. Guh, M. Templeton, D. Brill, and A. Chen, "Adaptive techniques for distributed query processing," inProc. IEEE Int. Conf. Data Eng., 1986, pp. 86-93.
[29] C. T. Yu, C. Suen, K. Lam, and M. Siu, "Adaptive record clustering,"ACM Trans. Data Base Syst., pp. 180-204, 1985.

Index Terms:
maintenance; semantic query optimization; constraints; database states; statistic integrity constraints; dynamic integrity constraints; automatic tool; knowledge acquisition; interactive tool; join predicates; database management systems; knowledge acquisition; knowledge based systems
C.T. Yu, W. Sun, "Automatic Knowledge Acquisition and Maintenance for Semantic Query Optimization," IEEE Transactions on Knowledge and Data Engineering, vol. 1, no. 3, pp. 362-375, Sept. 1989, doi:10.1109/69.87981
Usage of this product signifies your acceptance of the Terms of Use.