skip to main content
article

Description logics for semantic query optimization in object-oriented database systems

Published: 01 March 2003 Publication History

Abstract

Semantic query optimization uses semantic knowledge (i.e., integrity constraints) to transform a query into an equivalent one that may be answered more efficiently. This article proposes a general method for semantic query optimization in the framework of Object-Oriented Database Systems. The method is effective for a large class of queries, including conjunctive recursive queries expressed with regular path expressions and is based on three ingredients. The first is a Description Logic, ODLRE, providing a type system capable of expressing: class descriptions, queries, views, integrity constraint rules and inference techniques, such as incoherence detection and subsumption computation. The second is a semantic expansion function for queries, which incorporates restrictions logically implied by the query and the schema (classes + rules) in one query. The third is an optimal rewriting method of a query with respect to the schema classes that rewrites a query into an equivalent one, by determining more specialized classes to be accessed and by reducing the number of factors. We implemented the method in a tool providing an ODMG-compliant interface that allows a full interaction with OQL queries, wrapping underlying Description Logic representation and techniques to the user.

References

[1]
Abiteboul, S. and Kanellakis, P. 1989. Object identity as a query language primitive. In SIGMOD. ACM, New York, 159--173.
[2]
Abiteboul, S., Quass, D., McHugh, J., Widom, J., and Wiener, J. 1997. The lorel query language for semistructured data. J. Dig. Lib. 1, 1, 68--88.
[3]
Abiteboul, S. and Vianu, V. 1997. Regular path queries with constraint. In Proceedings of the 16th Annual ACM SIGACT-SIGMOD SIGART Principles of Database Systems ( PODS '99) (Tucson, Az., May 12--14) ACM, New York.
[4]
Baader, F. 1991. Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (Sydney, Australia). Morgan-Kaufmann, San Francisco, Calif.
[5]
Baader, F. 1996. Using automata theory for characterizing the semantics of terminological cycles. Ann. Math. Artif. Intel. 18, 2--4, 175--219.
[6]
Baader, F., Küsters, R., and Molitor, R. 2000. Rewriting concepts using terminologies. In Proceedings of the 7th International Conference on Knowledge Representation and Reasoning (KR2000), A. Cohn, F. Giunchiglia, and B. Selman, Eds. Morgan-Kaufmann, San Francisco, Calif., 297--308.
[7]
Beck, H. W., Gala, S. K., and Navathe, S. B. 1989. Classification as a query processing technique in the CANDIDE data model. In Proceedings of the 5th International Conference on Data Engineering. IEEE Computer Society, Los Angeles, Calif., 572--581.
[8]
Beeri, C., Levy, A. Y., and Rousset, M. 1997. Rewriting queries using views in description logics. In Proceedings of the Sixteenth ACM SIG-SIGMOD-SIGART Symposium on Principles of Database Systems ( PODS '97) (Tucson, Az., May 12--14). ACM, New York, 99--108.
[9]
Beneventano, D. 2002. Description logics for semantic query optimization in object-oriented database systems. Tech. rep., Dipartimento di Ingegneria dell'Informazione, Via Vignolese 905---Modena. http://www.dbgroup.unimo.it/TechnicalReport/TechReport2002-1.pdf.
[10]
Beneventano, D. and Bergamaschi, S. 1997. Incoherence and subsumption for recursive views and queries in object-oriented data models. Data Knowl. Eng. 21, 3 (Feb.), 217--252.
[11]
Beneventano, D., Bergamaschi, S., Lodi, S., and Sartori, C. 1998. Consistency checking in complex object database schemata with integrity constraints. IEEE Trans. Knowl. Data Eng. 10, 576--598.
[12]
Beneventano, D., Bergamaschi, S., and Mandreoli, F. 2001. Extensional Knowledge for semantic query optimization in a mediator based system. In Proceedings of the International Workshop on Foundations of Models for Information Integration ( FMII-2001) (Viterbo, Italy, Sept.). Lecture Notes in Computer Science. Springer-Verlag, Heidelberg, Germany.
[13]
Beneventano, D., Bergamaschi, S., and Sartori, C. 1996. Semantic query optimization by subsumption in OODB. In Flexible Query Answering Systems, H. Christiansen, H. L. Larsen, and T. Andreasen, Eds. Datalogiske Skrifter---ISSN 0109-9799, vol. 62. Roskilde University, Roskilde, Denmark.
[14]
Beneventano, D., Bergamaschi, S., Sartori, C., and Vincini, M. 1997. ODB-QOPTIMIZER: A tool for semantic query optimization in oodb. In Proceedings of the International Conference on Data Engineering. IEEE Computer Society, Los Angeles, Calif. http://sparc20.dsi.unimo.it.
[15]
Bergamaschi, S. and Nebel, B. 1994. Acquisition and validation of complex object database schemata supporting multiple inheritance. J. Appl. Intel. 4, 185--203.
[16]
Bergamaschi, S. and Sartori, C. 1992. On taxonomic reasoning in conceptual design. ACM Trans. Datab. Syst. 17, 3 (Sept.), 385--422.
[17]
Bertino, E., Negri, M., Pelagatti, G., and Sbattella, L. 1992. Object-oriented query languages: The notion and the issues. IEEE Trans. Knowl. Data Eng. 4, 3 (June), 223--236.
[18]
Borgida, A., Brachman, R. J., McGuinness, D. L., and Resnick, L. A. 1989. CLASSIC: A structural data model for objects. In SIGMOD (Portland, Ore.). ACM, New York, 58--67.
[19]
Brachman, R. J. and Schmolze, J. G. 1985. An overview of the KL-ONE knowledge representation system. Cognit. Sci. 9, 2, 171--216.
[20]
Buchheit, M., Jeusfeld, M. A., Nutt, W., and Staudt, M. 1994. Subsumption between queries to object-oriented database. In Extending Database Technology. Springer, Heidelberg, Germany, 348--353.
[21]
Buneman, P. 1997. Semistructured data. In Proceedings of the 16th Annual ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (Tucson, Az., May 12--14). ACM, New York, 117--121.
[22]
Buneman, P., Davidson, S., Fernandez, M., and Suciu, D. 1997. Adding structure to unstructured data. In Database Theory---ICDT'97, 6th International Conference (Delphi, Greece), F. N. Afrati and P. Kolaitis, Eds. Lecture Notes in Computer Science, vol. 1186. Springer-Verlag, Heidelberg, Germany, 336--350.
[23]
Calvanese, D., Giacomo, G. D., and Lenzerini, M. 1998. On the decidability of query containment under constraints. In Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (Seattle, Wash., June 1--8). ACM New York, 149--158.
[24]
Calvanese, D., Giacomo, G. D., Lenzerini, M., and Vardi, M. Y. 1999. Rewriting of regular expressions and regular path queries. In Proceedings of the 18th Annual ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (Philadelphia, Pa., May 31--June 2). ACM New York, 194--204.
[25]
Cardelli, L. 1984. A semantics of multiple inheritance. In Semantics of Data Types. Lecture Notes in Computer Science, vol. 173. Springer-Verlag, Heidelberg, Germany, 51--67.
[26]
Cattell, R. G. G. 1994. The Object Database Standard: ODMG93. Morgan-Kaufmann, San Mateo, CA.
[27]
Chakravarthy, U. S., Grant, J., and Minker, J. 1990. Logic-based approach to semantic query optimization. ACM Trans. Datab. Syst. 15, 2 (June), 162--207.
[28]
Chan, E. P. F. 1992. Containment and minimization of positive conjunctive queries in OODB's. In Proceedings of the ACM Symposium on Principles of Database Systems. ACM, New York, 202--211.
[29]
Coburn, N. and Weddel, G. E. 1991. Path constraints for graph-based data models: Towards a unified theory of typing constraints, equations and functional dependencies. In Proceedings of the 2nd International Conference on Deductive and Object-Oriented Databases. Springer-Verlag, Heidelberg, Germany, 312--331.
[30]
den Bussche, J. V. and Vossen, G. 1993. An extension of path expressions to simplify navigation in object-oriented queries. In Proceedings of the 3rd International Conference on Deductive and Object-Oriented Databases (Phoenix, Az., Dec.). Lecture Notes in Computer Science, vol. 760. Sringer-Verlag, New York, 267--282.
[31]
Donini, F. M., Lenzerini, M., Nardi, D., and Nutt, W. 1991. The complexity of concept languages. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR '91). J. Allen, R. Fikes, and E. Sandewall, Eds. Morgan-Kaufmann, Cambridge, Mass, 151--162.
[32]
Donini, F. M., Schaerf, A., and Buchheit, M. 1993. Decidable reasoning in terminological knowledge representation systems. In Proceedings of the 13th International Joint Conference on Artificial Inteligence. Morgan-Kaufmann, San Francisco, Calif.
[33]
Fernandez, M. F. and Suciu, D. 1998. Optimizing regular path expressions using graph schemas. In Proceedings of the 14th International Conference on Data Engineering (Orlando, Fla., Feb. 23--27). IEEE Computer Society, Los Angeles, Calif., 14--23.
[34]
Florescu, D., Levy, A. Y., and Suciu, D. 1998. Query containment for conjunctive queries with regular expressions. In Proceedings of the 17th Annual ACM SIGACT-SIGMOD-SIGART Principles of Database Systems ( PODS '98) (Seattle, Wash., June 1--3). ACM, New York, pp. 139--148.
[35]
Goldman, R. and Widom, J. 1997. Dataguides: Enabling query formulation and optimization in semistructured data. In VLDB'97, Proceedings of 23rd International Conference on Very Large Data Bases (Athens, Greece, Aug. 25--29). M. Jarke, M. J. Carey, K. R. Dittrich, F. H. Lochovsky, P. Loucopoulos, and M. A. Jeusfeld, Eds. Morgan-Kaufmann, San Francisco, Calif., 436--445.
[36]
Grant, J., Gryz, J., Minker, J., and Raschid, L. 1997. Semantic query optimization for object databases. In Proceedings of the 13th International Conference on Data Engineering (ICDE'97). IEEE, Washington - Brussels - Tokyo, 444--454.
[37]
Hacid, M. and Rigotti, C. 1995. Combining resolution and classification for semantic query optimization in dood. In Proceedings of the International Conference on Deductive and Object-Oriented Databases. Springer-Verlag, Heidelberg, Germany, 447--466.
[38]
Hammer, M. M. and Zdonik, S. B. 1980. Knowledge based query processing. In Proceedings of the 6th International Conference on Very Large Databases. IEEE Computer Society, Los Angeles, Calif., 137--147.
[39]
Hopcroft, J. E. and Ullman, J. 1979. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Boston, Mass.
[40]
Jagadish, H. V., Agrawal, R., and Ness, L. 1987. A study of transitive closure as a recursion mechanism. In Proceedings of the 1987 Annual Conference for ACM SIGMOD (San Francisco, Calif., May 27--29). ACM New York, pp. 331--344.
[41]
Jarke, M., Clifford, J., and Vassiliou, Y. 1984. An optimizing prolog front-end to a relational query system. In SIGMOD'84, Proceedings of Annual Meeting (Boston, Mass., June 18--21). B. Yormark, Ed. ACM, New York, 296--306.
[42]
Jeusfeld, M. and Staudt, M. 1993. Query optimization in deductive object bases. In Query Processing for Advanced Database System, Freytag, Maier, and Vossen, Eds. Morgan-Kaufmann Publishers, Inc., San Francisco, Calif.
[43]
Kemper, A. and Moerkotte, G. 1990. Access support in object bases. In Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data (Atlantic City, N.J., May 23--25). H. Garcia-Molina and H. V. Jagadish, Eds. ACM Press, New York, 510--517.
[44]
Kifer, M., Kim, W., and Sagiv, Y. 1992. Querying object-oriented databases. In Proceedings of the 1992 Annual Conference for ACM SIGMOD (SIGMOD '92). ACM, New York, 393--402.
[45]
King, J. J. 1981. QUIST: a system for semantic query optimization in relational databases. In Proceedings of the 7th International Conference on Very Large Databases. IEEE Press, Los Angeles, Calif., 510--517.
[46]
Kolaitis, P. G. and Vardi, M. Y. 1998. Conjunctive-query containment and constraint satisfaction. In Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (Seattle, Wash., June 1--3). ACM, New York, pp. 205--213.
[47]
Lecluse, C. and Richard, P. 1989. Modelling complex structures in object-oriented databases. In Proceedings of the Symposium on Principles of Database Systems (Philadelphia, Pa). ACM, New York, 362--369.
[48]
Levy, A. Y., Rajaraman, A., and Ordille, J. J. 1996. Querying heterogeneous information sources using source descriptions. In VLDB'96, Proceedings of 22th International Conference on Very Large Data Bases (Mumbai (Bombay), India, Sept. 3--6). T. M. Vijayaraman, A. P. Buchmann, C. Mohan, and N. L. Sarda, Eds. Morgan-Kaufmann, San Francisco, Calif., 251--262.
[49]
Levy, A. Y. and Suciu, D. 1997. Deciding containment for queries with complex objects (extended abstract). In PODS '97. Proceedings of the 16th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (Tucson, Az., May 12--14). ACM, New York, 20--31.
[50]
Nestorov, S., Abiteboul, S., and Motwani, R. 1997. Inferring structure in semistructured data. SIGMOD Record (ACM Special Interest Group on Management of Data) 26, 4, 39--43.
[51]
Nestorov, S., Abiteboul, S., and Motwani, R. 1998. Extracting schema from semistructured data. In SIGMOD 1998, Proceedings ACM SIGMOD International Conference on Management of Data (Seattle, Wash., June 2--4). L. M. Haas and A. Tiwary, Eds. ACM, New York, 295--306.
[52]
Pang, H. H., Lu, H., and Ooi, B. C. 1991. An efficient semantic query optimization algorithm. In Proceedings of the International Conference on Data Engineering. IEEE Computer Society, Los Angeles, Calif., 326--335.
[53]
Perrin, D. 1990. Finite automata. In Formal Models and Semantics, J. van Leeuwen, Ed. Elsevier, Amsterdam, Holland, 14--19.
[54]
Shenoy, S. T. and Özsoyoglu, Z. M. 1987. A system for semantic query optimization. In Proceedings of the 1987 Annual Conference for ACM SIGMOD (San Francisco, Calif., May 27--29). U. Dayal and I. L. Traiger, Eds. ACM, New York, pp. 181--195.
[55]
Shenoy, S. T. and Özsoyoglu, Z. M. 1989. Design and implementation of a semantic query optimizer. IEEE Trans. Knowl. Data. Eng. 1, 3, 344--361.
[56]
Sheu, P. C., Kashyap, R. L., and Yoo, S. 1989. Query optimization in object-oriented knowledge bases. Data Knowl. Eng. 3, 285--302.
[57]
Shmueli, O. 1993. Equivalence of datalog queries is undecidable. J. Logic Prog. 15, 3 (Feb.), 231--241.
[58]
Siegel, M., Sciore, E., and Salveter, S. 1992. A method for automatic rule derivation to support semantic query optimization. ACM Trans. Datab. Syst. 17, 4 (Dec.), 563--600.
[59]
Straube, D. D. and Özsu, T. 1990. Queries and query processing in object-oriented database systems. ACM Trans. Inf. Syst. 8, 4 (Oct.), 387--430.
[60]
Sun, W. and Clement, T. Y. 1994. Semantic query optimization for tree and chain queries. IEEE Trans. Knowl. Data Eng. 6, 1 (Feb.), 136--151.
[61]
Ullman, J. D. 1997. Information integration using logical views. In Preceedings of Database Theory---ICDT '97, 6th International Conference (Delphi, Greece, Jan. 8--10). F. N. Afrati and P. Kolaitis, Eds. Lecture Notes in Computer Science, vol. 1186. Springer-Verlag, Heidelberg, Germany, 19--40.
[62]
Yoon, J. P. and Kerschberg, L. 1993. Semantic query optimization in deductive object-oriented databases. In Proceedings of the 3rd International Conference on Deductive and Object-Oriented Databases (DOOD'93) (Phoenix, Az., Dec. 6--8). S. Ceri, K. Tanaka, and S. Tsur, Eds. Lecture Notes in Computer Science, vol. 760. Springer-Verlag, New York, pp. 169--182.
[63]
Yoon, S.-C., Song, I.-Y., and Park, E. K. 1995. Semantic query processing in object-oriented databases using deductive approach. In CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management (Baltimore, Md., Nov. 28--Dec. 2). ACM, New York, 150--157.
[64]
Zhuge, Y., Garcia-Molina, H., Hammer, J., and Widom, J. 1995. View maintenance in a warehousing environment. In Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data (San Jose, Calif., May 22--25). M. J. Carey and D. A. Schneider, Eds. ACM, New York, 316--327.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Database Systems
ACM Transactions on Database Systems  Volume 28, Issue 1
March 2003
99 pages
ISSN:0362-5915
EISSN:1557-4644
DOI:10.1145/762471
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 2003
Published in TODS Volume 28, Issue 1

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Semantic query optimization
  2. description logics
  3. integrity constraints rules
  4. query rewriting method
  5. semantic expansion of a query
  6. subsumption

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)3
  • Downloads (Last 6 weeks)1
Reflects downloads up to 01 Jan 2025

Other Metrics

Citations

Cited By

View all

View Options

Login options

Full Access

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media