Description Logics for Semantic Query Optimization in Object-Oriented Database Systems

ACM Transactions on Database Systems

Volumn 28, Issue 1, 2003, Pages 1-50

  Beneventano, Domenico ^a,c   Bergamaschi, Sonia ^a,c   Sartori, Claudio ^b  

^a UNIVERSITY OF MODENA AND REGGIO EMILIA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c NONE   (Italy)

Author keywords

Description logics; Integrity constraints rules; Query rewriting method; Semantic expansion of a query; Semantic query optimization; Subsumption

Indexed keywords

ALGORITHMS; FORMAL LOGIC; OBJECT ORIENTED PROGRAMMING; QUERY LANGUAGES; RECURSIVE FUNCTIONS; SEMANTICS;

INTEGRITY CONSTRAINT RULES; QUERY REWRITING METHOD; SEMANTIC QUERY OPTIMIZATION;

RELATIONAL DATABASE SYSTEMS;

EID: 0346329828     PISSN: 03625915     EISSN: None     Source Type: Journal    
DOI: 10.1145/762471.762472     Document Type: Article

References (64)

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., BEHGAMASCHI, 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. CHAKRAVAHTHY, 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. Alien, 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.