Combining resolution and classification for semantic query optimization in DOOD | SpringerLink
Skip to main content
Springer Nature Link
Log in

Combining resolution and classification for semantic query optimization in DOOD

  • Semantic Query Optimization
  • Conference paper
  • First Online:
Deductive and Object-Oriented Databases (DOOD 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1013))

Included in the following conference series:

  • 216 Accesses

Abstract

This paper proposes a framework for semantic query optimization in deductive object-oriented databases. The intentional database is described by means of clauses and a more restricted language is used for the integrity constraints. We apply a specific resolution and a classification mechanism to rewrite a query into a less expensive yet equivalent one. The main contribution of this paper is to show how resolution and classification can be used together within a common framework to perform complementary semantic query optimizations in deductive object oriented databases.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. F. Baader and P. Hanschke. A scheme for integrating concrete domains into concept languages. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence, pages 452–457, Sydney, Australia, August 1991.

    Google Scholar 

  2. H. Beck, S. Gala, and S. Navathe. Classification as a query processing technique in the CANDIDE semantic data model. In Proc. of the Fifth International Conference on Data Engineering, pages 572–581, Los Angeles, California, USA, February 1989.

    Google Scholar 

  3. A. Borgida, R. Brachman, D. McGuinness, and L. Resnick. CLASSIC: a structural data model for objects. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pages 58–67, Portland, Oregon, June 1989.

    Google Scholar 

  4. M. Buchheit, F. Donini, and A. Schaerf. Decidable reasoning in terminological knowledge representation systems. In Proc. of the 13th Int. Joint Conf. on Artificial Intelligence, pages 704–709, Chambery, France, 1993.

    Google Scholar 

  5. M. Buchheit, M. A. Jeusfeld, W. Nutt, and M. Staudt. Subsumption between queries to object-oriented databases. Information Systems, 19(1):33–54, January 1994.

    Google Scholar 

  6. H.-J. Bürckert and W. Nutt. On abduction and answer generation through constrained resolution. Technical Report RR-92-51, German Research Center for Artificial Intelligence (DFKI), Saarbrücken, Germany, October 1992.

    Google Scholar 

  7. U. S. Chakravarthy, J. Grant, and J. Minker. Logic-based approach to semantic query optimization. ACM Trans. on Database Systems, 15(2): 162–207, June 1990.

    Google Scholar 

  8. S. Cluet and C. Delobel. A general framework for the optimization of object-oriented queries. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pages 383–392, San Diego, California, USA, June 1992.

    Google Scholar 

  9. A. Colmerauer. An introduction to prolog III. Communications of the ACM, 33(7):69–90, July 1990.

    Google Scholar 

  10. M. S. Hacid and C. Rigotti. Combining resolution and classification for semantic query optimization in DOOD. Technical Report RR-95-02, LISI, Lyon, 1995.

    Google Scholar 

  11. M. Höhfeld and G. Smolka. Definite relations over constraint languages. Technical Report LILOG Report 53, IBM Deutschland, Stuttgart, Germany, October 1988.

    Google Scholar 

  12. J. Jaffar and J.-L. Lassez. Constraint logic programming. In Proc. of the 14th ACM Symposium on Priciples of Programming Languages, pages 111–119, Munich, Germany, January 1987.

    Google Scholar 

  13. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42(3), May 1995.

    Google Scholar 

  14. R. Mac Gregor. The evolving technology of classification-based knowledge representation systems. In J. Sowa, editor, Principles of Semantic Networks, pages 385–400. Morgan Kaufmann, 1991.

    Google Scholar 

  15. B. Nebel. Reasoning and Revision in Hybrid Representation Systems. Number 422 in LNAI. Springer-Verlag, 1990.

    Google Scholar 

  16. C. Rigotti. Abduction and Deduction of Object Structural Properties. Doctoral Dissertation (Forthcoming, in French), INSA Lyon, 1995.

    Google Scholar 

  17. C. Rigotti, M. S. Hacid, and J. F. Boulicaut. Une approche multi-paradigmes pour le test d'applications BDOO. In N. Bidoit, editor, Actes des 10èmes journées Bases de Données Avancées, Clermont-Ferrand, pages 55–74, September 1994.

    Google Scholar 

  18. O. Shmueli. Equivalence of DATALOG queries is undecidable. Journal of Logic Programming, 15(3):231–241, February 1993.

    Google Scholar 

  19. D. D. Straube and M. T. Özsu. Queries and query processing in object-oriented database systems. ACM Transactions on Information Systems, 8(4):387–430, October 1990.

    Google Scholar 

  20. J. P. Yoon and L. Kerschberg. Semantic query optimization in deductive object-oriented databases. In Proc. of the 3th International Conference on Deductive and Object-Oriented Databases, number 760 in LNCS, pages 169–182, Phoenix, Arizona, USA, December 1993. Springer-Verlag.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire d'Ingénierie des Systèmes d'Information, INSA Lyon, Bâtiment 501, F-69621, Villeurbanne Cedex

    Mohand-Saïd Hacid & Christophe Rigotti

Authors
  1. Mohand-Saïd Hacid
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christophe Rigotti
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Tok Wang Ling Alberto O. Mendelzon Laurent Vieille

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hacid, MS., Rigotti, C. (1995). Combining resolution and classification for semantic query optimization in DOOD. In: Ling, T.W., Mendelzon, A.O., Vieille, L. (eds) Deductive and Object-Oriented Databases. DOOD 1995. Lecture Notes in Computer Science, vol 1013. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60608-4_55

Download citation

  • DOI: https://doi.org/10.1007/3-540-60608-4_55

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60608-6

  • Online ISBN: 978-3-540-48460-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation