Advertisement

Semantic query optimization in deductive object-oriented databases

  • Jong P. Yoon
  • Larry Kerschberg
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 760)

Abstract

This paper addresses the problem of semantic query reformulation in the context of object-oriented deductive databases. It extends the declarative object-oriented specifications of F-logic proposed by Kifer and Lausen using the semantic query optimization technique developed by Chakravarthy, Grant, and Minker. In general, query processing in object-oriented databases is expensive when a query incorporates declarative rules, methods and inherited properties. We introduce the technique of semantic query reformulation for F-logic queries which transforms the original query into an equivalent, semantically-rich query that is more efficiently processed. We also discuss the issues of conflict resolution strategies and query evaluation priorities for queries involving the upper bounds of objects in the F-logic “type” lattice.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    A. Borgida. Type systems for query class hierarchies with non-strict inheritance. In Proceedings of the ACM Symposium on Principles of Database Systems, pages 394–400, 1989.Google Scholar
  2. [2]
    Upen S. Chakravarthy, John Grant, and Jack Minker. Logic-based approach to semantic query optimization. ACM Transactions on Database Systems, 15(2):163–207, June 1990.Google Scholar
  3. [3]
    Georges Gardarin and Rosana S. Lanzelotte. Optimizing object-oriented database queries using cost-controlled rewriting. In Proc. of 3rd Int'l Conf. on Extending Database Technology, pages 534–549, Vienna, Austria, 1992.Google Scholar
  4. [4]
    Alfons Kemper and Guido Moerkotte. Advanced query processing in object bases using access support relations. In Proc. Intl. Conf. on Very Large Data Bases, pages 290–301, Brisbane, Australia, 1990.Google Scholar
  5. [5]
    Larry Kerschberg and Jong P. Yoon. Semantic query reformulation in object-oriented databases. In Proc. of the Workshop on Combining Declarative and Object-Oriented Databases, pages 73–85, Washington, D.C., 1993.Google Scholar
  6. [6]
    Michael Kifer and George Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In Proc. ACM SIGMOD Intl. Conf. on Management of Data, pages 134–146, Portland, Oregon, 1989.Google Scholar
  7. [7]
    Sanggoo Lee, Lawrence J. Henschen, and Ghassan Z. Qadah. Semantic query reformulation in deductive databases. In Intl. Conf. on Data Engineering, pages 232–239, 1991.Google Scholar
  8. [8]
    A. Motro. Using integrity constraints to provide intensional answers to relational queries. In Proc. Intl. Conf. on Very Large Data Bases, pages 237–246, Amsterdam, 1989.Google Scholar
  9. [9]
    Inderpal S. Mumick, Sheldon J. Finkelstein, Hamid Pirahesh, and Raghu Ramakrishnan. Magic is relevant. In Proc. ACM SIGMOD Intl. Conf. on Management of Data, pages 247–258. 1990.Google Scholar
  10. [10]
    Hamid Pirahesh, Joseph M. Hellerstein, and Waqar Hasan. Extensible/rule based query rewrite optimization in Starburst. In Proc. ACM SIGMOD Intl. Conf. on Management of Data, pages 39–48, 1992.Google Scholar
  11. [11]
    A. Pirotte and D. Roelants. Constraints for improving the generation of intensional answers in a deductive database. In 5th Int. Conf. on Data Engineering, pages 652–659, LA, 1989.Google Scholar
  12. [12]
    Kenneth A. Ross. Modular acyclicity and tail recursion in logic programs. In Proceedings of the ACM Symposium on Principles of Database Systems, pages 92–101. 1990.Google Scholar
  13. [13]
    P. Griffiths Selinger and et al. Access path selection in a relational database management system. In Proc. ACM SIGMOD Intl. Conf. on Management of Data, pages 23–34, 1979.Google Scholar
  14. [14]
    Joseph E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. The MIT Press, Cambridge, MA, 1977.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Jong P. Yoon
    • 1
  • Larry Kerschberg
    • 1
  1. 1.Department of Information and Software Systems Engineering School of Information Technology and EngineeringGeorge Mason UniversityFairfax

Personalised recommendations