Advertisement

Optimization in Deductive and Conventional Relational Database Systems

  • John Grant
  • Jack Minker

Abstract

A deductive relational database system is one which permits new relations to be derived from given relations stored in a conventional relational database system, and from axioms. It has been shown that a query in a deductive relational database system can be transformed, using the axioms, into a query that involves searches only over the relational database. The transformed query results in a set of conjuncts which generally share similar if not identical searches that must be made of the indexes and the tables storing the relations. The purpose of this paper is to describe a “global” optimizing algorithm which accounts for similarities between conjuncts.

The algorithm consists of two major parts: the preprocessor and the optimizer. The preprocessor is used once for a given set of axioms and indexes. Its functions are to: transform each atomic query type into a group of formulae, list all possible access methods for single tables and join-supported joins and to calculate costs for the access methods. The optimizer is used to select a method of evaluation of the formulae which answers the query in the shortest possible time. Details concerning the preprocessor and the optimizer are provided. An example is given that shows the effectiveness of “global” optimization in contrast to optimizing the retrieval of individual conjuncts. The changes needed to incorporate semantic knowledge into the algorithm are also given.

Keywords

Deductive System Access Method Semantic Knowledge Disjunctive Normal Form Relational Database System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Chang, C. L. [1978] “DEDUCE — 2: Further Investigations of Deduction in Relational Data Bases,” In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, N. Y., 1978, 201–236.Google Scholar
  2. 2.
    Chang, C. L. [1981] “On Evaluation of Queries Containing Derived Relations in a Relational Data Base,” In Advances in Data Base Theory — Vol. 1 (H. Gallaire, J. Minker and J. M. Nicolas, Eds.), Plenum Press, N. Y., 1981, 235–260.Google Scholar
  3. 3.
    Demolombe, R. [1978] “A General Semantic Method for Efficiently Evaluating “AND” Operators”, presented at the International Conference on DATABASES: IMPROVING USABILITY AND RESPONSIVENESS, Haifa, Israel, August, 1978.Google Scholar
  4. 4.
    Demolombe, R. [1979] “Estimation of the Number of Tuples Satisfying a Query Expressed in Predicate Calculus Language,” Report of the Centre d’Etudes de Recherches, Toulouse, France, December 1979.Google Scholar
  5. 5.
    Grant, J. and Minker, J. [1979] “Optimization in Deductive and Conventional Relational Data Base Systems,” TR 828 Department of Computer Science, Univ. of Maryland, College Park, Maryland 20742, 1979.Google Scholar
  6. 6.
    Kellogg, C., Klahr, P. and Travis, L. [1978] “Deductive Planning and Pathfinding for Relational Data Bases,” In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, N. Y., 1978, 179–200.Google Scholar
  7. 7.
    Kellogg, C. and Travis, L. [1980] “Reasoning with Data in a Deductively Augmented Data Management System,” In Advances in Data Base Theory — Vol. 1 (H. Gallaire, J. Minker and J. M. Nicolas, Eds.), Plenum Press, N. Y., 1981, 261–295.Google Scholar
  8. 8.
    Kim, W. [1979] “Relational Database Systems,” ACM Computing Surveys 11, 3, September 1979, 185–211.CrossRefGoogle Scholar
  9. 9.
    McSkimin, J. and Minker, J. [1977] “The Use of a Semantic Network in a Deductive Question-Answering System,” Proceedings IJCAI — 77, Cambirdge, Mass., 1977, 50–58.Google Scholar
  10. 10.
    Minker, J. [1975a] “Performing Inferences Over Relational Data Bases,” Proceedings International Workshop on the Management of Data: Description, Access, and Control, ACM, New York, May 14–16, 1975, 79–87.Google Scholar
  11. 11.
    Minker, J. [1975 b] “Set Operations and Inferences Over Relational Data Bases,” Proc. Fourth Texas Conference on Computing Systems, Nov. 1975, 5A–1 – 5A–10.Google Scholar
  12. 12.
    Minker, J. [1978a] “An Experimental Relational Data Base System Based on Logic,” In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, N. Y., 1978, 107–147.Google Scholar
  13. 13.
    Minker, J. [1978b] “Search Strategy and Selection Function for an Inferential Relational System,” ACM Transactions on Database Systems 3, 1 (March 1978), 1–31.CrossRefGoogle Scholar
  14. 14.
    Minker, J. and Powell, P. B. [1979] “Answer and Reason Extraction, Natural Language and Voice Output for Deductive Relational Data Bases,” In Natural Language Based Computer Systems (L. Bolc, Ed.), 1980.Google Scholar
  15. 15.
    Nilsson, N. J. [1971] Problem-Solving Methods in Artificial Intelligence, McGraw-Hill, New York, 1971.Google Scholar
  16. 16.
    Reiter, R. [1978a] “On Closed World Data Bases,” In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, N. Y., 1978, 55–76.Google Scholar
  17. 17.
    Reiter, R. [1978b] “Deductive Question-Answering on Relational Data Bases,” In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, N. Y., 1978., 149–177.Google Scholar
  18. 18.
    Selinger, P. G. et al. [1979] “Access Path Selection in a Relational Database Management System,” Proceedings of ACM-SIGMOD Conference, Boston, Mass. (1979) 23–34.Google Scholar
  19. 19.
    Ullman, J. D. [1980] Principles of Database Systems, Computer Science Press, Potomac, Maryland, 1980.zbMATHGoogle Scholar
  20. 20.
    Wilson, G. [1976] “A Description and Analysis of the PAR Technique — An Approach for Parallel Inference and Parallel Search in Problem Solving Systems,” Ph.D. Thesis, Dept. of Computer Science, Univ. of Maryland, College Park, Md. 20742, 1976 (Also: TR 464 Dept. of Computer Sci., University of Maryland).Google Scholar
  21. 21.
    Yao, S. B. [1979] “Optimization of Query Evaluation Algorithms,” ACM Transactions on Database System 4 (1979) 133–155.CrossRefGoogle Scholar

Copyright information

© Plenum Press, New York 1981

Authors and Affiliations

  • John Grant
    • 1
  • Jack Minker
    • 2
  1. 1.Towson State UniversityTowsonUSA
  2. 2.University of MarylandCollege ParkUSA

Personalised recommendations