article

Free access

Logic-based approach to semantic query optimization

Authors:

Upen S. Chakravarthy,

Jack MinkerAuthors Info & Claims

ACM Transactions on Database Systems (TODS), Volume 15, Issue 2

Pages 162 - 207

https://doi.org/10.1145/78922.78924

Published: 01 June 1990 Publication History

Abstract

The purpose of semantic query optimization is to use semantic knowledge (e.g., integrity constraints) for transforming a query into a form that may be answered more efficiently than the original version. In several previous papers we described and proved the correctness of a method for semantic query optimization in deductive databases couched in first-order logic. This paper consolidates the major results of these papers emphasizing the techniques and their applicability for optimizing relational queries. Additionally, we show how this method subsumes and generalizes earlier work on semantic query optimization. We also indicate how semantic query optimization techniques can be extended to databases that support recursion and integrity constraints that contain disjunction, negation, and recursion.

References

[1]

AHO, A. V., SAGIV, Y., AND ULLMAN, J. D. Efficient optimization of a class of relational expressions. ACM Trans. Database Syst. 4 (1979), 435-454.

Digital Library

[2]

BANCILHON, F., AND RAMAKRISHNAN, R. An amateur's introduction to recursive query processing strategies. In Proceedings of the 1986 ACM-SIGMOD Conference, 16-52.

Digital Library

[3]

CHAKRAVARTHY, U.S. Semantic query optimization in deductive databases. Ph.D. thesis, Dept. of Computer Science, Univ. of Maryland, College Park, 1985.

Digital Library

[4]

CHAKRAVARTHY, U. S., FISHMAN, D. H., AND MINKER, J. Semantic query optimization in expert systems and database systems. In Expert Database Systems, L. Kerschberg, Ed., Benjamin/Cummings, 1985, 659-675.

Digital Library

[5]

CHAKRAVARTHY, U. S., GRANT, J., AND MINKER, J. Foundations of semantic query optimization for deductive databases. In Foundations of Deductive Databases and Logic Programming, J. Minker, Ed., Morgan Kaufmann, 1987.

Digital Library

[6]

CHAKRAVARTHY, U. S., AND MINKER, J. Multiple query processing in deductive databases using query graphs. In Proceedings of the 12th VLDB Conference, 1986, 384-391.

Digital Library

[7]

CHAKRAVARTHY, U. S., MINKER, J., AND GRANT, J. Semantic query optimization: additional constraints and control strategies. In Expert Database Systems, L. Kerschberg, Ed., Benjamin/Cummings, Inc., 1987, 345-379.

[8]

CHANG, C. L., AND LEE, R. C.T. Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, 1973.

Digital Library

[9]

GALLAIRE, H., MINKER, J., AND NICOLAS, J.-M. Logic and databases: a deductive approach. ACM Comput. Surv. 16 (1984), 153-185.

Digital Library

[10]

GRANT, J., AND MINKER, J. Optimization in deductive and conventional relational database systems. In Advances in Data Base Theory, Vol. 1, H. Gallaire, J. Minker, and J. M. Nicolas, Eds., Plenum Press, 1981, 195-234.

[11]

HAMMER, M. M., AND ZDONIK, S.B. Knowledge based query processing. In Proceedings of the Sixth VLDB Conference, 1980, 137-147.

[12]

JARKE, M., CLIFFORD, J., AND VASSILIOU, Y. An optimizing Prolog front-end to a relational query system. In Proceedings of the ACM-SIGMOD Conference, 1984, 296-306.

Digital Library

[13]

JARKE, M., AND KOCH, J. Query optimization in database systems. ACM Comput. Surv. 16 (1984), 111-152.

Digital Library

[14]

KING, J.J. Query optimization by semantic reasoning, Ph.D. thesis, Dept. of Computer Science, Stanford Univ., Palo Alto, 1981.

Digital Library

[15]

KING, J. J. QUIST: a system for semantic query optimization in relational databases. In Proceedings of the 7th VLDB Conference, 1981, 510-517.

[16]

KOHLI, M., AND MINKER, J. Intelligent control using integrity constraints. In Proceedings of AAAI, 1983, 202-205.

[17]

LEE, S., AND HAN, J. Semantic query optimization in recursive databases, in Proceedings of the Fourth International Conference on Data Engineering, 1988, 444-451.

Digital Library

[18]

LOBO, J., AND MINKER, J. A metainterpreter to semantically optimize queries in deductive databases. In Proceedings of the Second International Conference on Expert Database Systems, 1988, 387-420.

[19]

McSKIMIN, J.R. Techniques for employing semantic information in question-answering systerns. Ph.D. thesis, Dept. of Computer Science, Univ. of Maryland, College Park, 1976.

Digital Library

[20]

MCSKIMIN, J. R., AND MINKER, J. The use of a semantic network in a deductive query answering system. In Proceedings of the Fifth IJCAI, 1977, 50-58.

[21]

MINKER, J. Perspectives in deductive databases. J. Logic Program. 5 (1988), 33-60.

Digital Library

[22]

NAISH, L. The MU-Prolog 3.2 reference manual. Tech. Rep. 85/11, Dept. of Computer Science, Univ. of Melbourne, Australia, 1985.

[23]

REITER, R. Deductive query-answering on relational databases, in Logic and Databases, H. Gaiiaire, and J. Minker, Eds., Plenum Press, 1978, 149-178.

[24]

SELLIS, T. Multiple-query optimization. ACM Trans. Database Syst. 13 (1988), 23-52.

Digital Library

[25]

SHENOY, S. T., AND OZSOYOGLU, Z.M. A system for semantic query optimization. In Proceedings of the ACM-SIGMOD Conference, 1987, 181-195.

Digital Library

[26]

STERLING, L. Meta-interpreters: the flavors of logic programming. In Proceedings of the Workshop on the Foundations of Deductive Databases and Logic Programming (Washington, D.C., 1986), J. Minker, Ed., 1986, 163-175.

[27]

Xu, G.D. Search control in semantic query optimization. Tech. Rep. 83-9, Dept. of Computer Science, Univ. of Massachusetts, Amherst, 1983.

[28]

ZDONIK, S. S., JR. On the use of domain specific knowledge in the processing of database queries. M.S. thesis, Massachusetts Institute of Technology, Cambridge, 1980.

Cited By

Arenas-Guerrero JChaves-Fraga DToledo JPérez MCorcho O(2024)Morph-KGC: Scalable knowledge graph materialization with mapping partitionsSemantic Web10.3233/SW-22313515:1(1-20)Online publication date: 12-Jan-2024
https://doi.org/10.3233/SW-223135
Song JDou WGao YCui ZZheng YWang DWang WWei JHuang T(2024)Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database ConstructionProceedings of the VLDB Endowment10.14778/3659437.365944517:8(1884-1897)Online publication date: 1-Apr-2024
https://dl.acm.org/doi/10.14778/3659437.3659445
Masmoudi MBen Abdallah Ben Lamine SKarray MArchimede BBaazaoui Zghal H(2024)Semantic Data Integration and Querying: A Survey and ChallengesACM Computing Surveys10.1145/365331756:8(1-35)Online publication date: 26-Apr-2024
https://dl.acm.org/doi/10.1145/3653317
Show More Cited By

Index Terms

Recommendations

Logic-Based Query Optimization for Object Databases

We present a technique for transferring query optimization techniques, developed for relational databases, into object databases. We demonstrate this technique for ODMG database schemas defined in ODL and object queries expressed in OQL. The object ...
Query optimization by semantic reasoning
Semantic query optimization in deductive databases. (volumes i and ii) (integrity constraints, intelligent processing, logic)

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Database Systems

ACM Transactions on Database Systems Volume 15, Issue 2

June 1990

183 pages

ISSN:0362-5915

EISSN:1557-4644

DOI:10.1145/78922

Issue’s Table of Contents

Copyright © 1990 ACM.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1990

Published in TODS Volume 15, Issue 2

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

245
Total Citations
View Citations
2,826
Total Downloads

Downloads (Last 12 months)297
Downloads (Last 6 weeks)6

Reflects downloads up to 27 Jul 2024

Other Metrics

View Author Metrics

Citations

Cited By

Arenas-Guerrero JChaves-Fraga DToledo JPérez MCorcho O(2024)Morph-KGC: Scalable knowledge graph materialization with mapping partitionsSemantic Web10.3233/SW-22313515:1(1-20)Online publication date: 12-Jan-2024
https://doi.org/10.3233/SW-223135
Song JDou WGao YCui ZZheng YWang DWang WWei JHuang T(2024)Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database ConstructionProceedings of the VLDB Endowment10.14778/3659437.365944517:8(1884-1897)Online publication date: 1-Apr-2024
https://dl.acm.org/doi/10.14778/3659437.3659445
Masmoudi MBen Abdallah Ben Lamine SKarray MArchimede BBaazaoui Zghal H(2024)Semantic Data Integration and Querying: A Survey and ChallengesACM Computing Surveys10.1145/365331756:8(1-35)Online publication date: 26-Apr-2024
https://dl.acm.org/doi/10.1145/3653317
El Husseini WEl Vaigh CGoasdoué FJaudoin HChua TNgo CKa-Wei Lee RKumar RLauw H(2024)Query Optimization for Ontology-Mediated Query AnsweringProceedings of the ACM on Web Conference 202410.1145/3589334.3645567(2138-2148)Online publication date: 13-May-2024
https://dl.acm.org/doi/10.1145/3589334.3645567
Liu XWang SSun MPan SLi GJha SYan CYang JLu SCheung A(2023)Leveraging Application Data Constraints to Optimize Database-Backed Web ApplicationsProceedings of the VLDB Endowment10.14778/3583140.358314116:6(1208-1221)Online publication date: 20-Apr-2023
https://doi.org/10.14778/3583140.3583141
Audibert AChen YGraur DKlimovic AŠimša JThekkath C(2023)tf.data serviceProceedings of the 2023 ACM Symposium on Cloud Computing10.1145/3620678.3624666(358-375)Online publication date: 30-Oct-2023
https://dl.acm.org/doi/10.1145/3620678.3624666
Kossmann JPapenbrock TNaumann F(2021)Data dependencies for query optimization: a surveyThe VLDB Journal — The International Journal on Very Large Data Bases10.1007/s00778-021-00676-331:1(1-22)Online publication date: 14-Jun-2021
https://dl.acm.org/doi/10.1007/s00778-021-00676-3
Xiao GLanti DKontchakov RKomla-Ebri SGüzel-Kalaycı EDing LCorman JCogrel BCalvanese DBotoeva E(2020)The Virtual Knowledge Graph System OntopThe Semantic Web – ISWC 202010.1007/978-3-030-62466-8_17(259-277)Online publication date: 2-Nov-2020
https://dl.acm.org/doi/10.1007/978-3-030-62466-8_17
Agoun JHacid M(2020)Data Publishing: Availability of Data Under Security PoliciesFoundations of Intelligent Systems10.1007/978-3-030-59491-6_26(277-286)Online publication date: 23-Sep-2020
https://dl.acm.org/doi/10.1007/978-3-030-59491-6_26
Bidoit NBosc PCholvy LPivert ORousset M(2020)Databases and Artificial IntelligenceA Guided Tour of Artificial Intelligence Research10.1007/978-3-030-06170-8_3(91-116)Online publication date: 8-May-2020
https://doi.org/10.1007/978-3-030-06170-8_3
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

Media

Figures

Other

Tables

View Issue’s Table of Contents