×

Answering queries using limited external query processors. (English) Zbl 0938.68031

Summary: When answering queries using external information sources, the contents of the queries can be described by views. To answer a query, we must rewrite it using the set of views presented by the sources. When the external information sources also have the ability to answer some (perhaps limited) sets of queries that require performing operations on their data, the set of views presented by the source may be infinite (albeit encoded in some finite fashion). Previous work on answering queries using views has only considered the case where the set of views is finite. In order to exploit the ability of information sources to answer more complex queries, we consider the problem of answering conjunctive queries using infinite sets of conjunctive views. Our first result is that an infinite set of conjunctive views can be partitioned into a finite number of equivalence classes, such that picking one view from every nonempty class is sufficient to determine whether the query can be answered using the views. Second, we show how to compute the set of equivalence classes for sets of conjunctive views encoded by a datalog program. Furthermore, we extend our results to the case when the query and the views use the built-in predicates \(<\), \(\leq\), \(=\), and \(\neq\), and they are interpreted over a dense domain. Finally, we extend our results to conjunctive queries and views with the built-in predicates \(<\), \(\leq\), and \(=\) interpreted over the integers. In doing so we present a result of independent interest, namely, an algorithm to minimize such queries. \(\copyright\) Academic Press.

MSC:

68P15 Database theory

Keywords:

queries

References:

[1] Adali, S.; Candan, K.; Papakonstantinou, Y.; Subrahmanian, V. S., Query caching and optimization in distributed mediator systems, Proceedings of SIGMOD-96 (1996)
[2] Arens, Y.; Knoblock, C. A.; Shen, Wei-Min, Query reformulation for dynamic information integration, Internat. J. Intelligent Cooperative Inform. Syst., 6, 99-130 (1996)
[3] Barbará, D.; Imieliński, T., Sleepers and workaholics: Caching strategies in mobile invironments, Proceedings of SIGMOD-94 (1994), p. 1-12
[4] Chawathe, S.; Garcia-Molina, H.; Hammer, J.; Ireland, K.; Papakonstantinou, Y.; Ullman, J.; Widom, J., The TSIMMIS project: Integration of heterogenous information sources, Proceedings of IPSJ, (Oct. 1994)
[5] Chaudhuri, S.; Krishnamurthy, R.; Potamianos, S.; Shim, K., Optimizing queries with materialized views, Proceedings of International Conference on Data Engineering (1995)
[6] Chandra, A. K.; Merlin, P. M., Optimal implementation of conjunctive queries in relational databases, Proceedings of the Ninth Annual ACM Symposium on Theory of Computing (1977), p. 77-90
[7] Duschka, O. M.; Genesereth, M. R., Query planning in infomaster, Proceedings of the ACM Symposium on Applied Computing (1997)
[8] Friedman, M.; Weld, D., Efficient execution of information gathering plans, Proceedings of the International Joint Conference on Artificial Interlligence (1997)
[9] Gupta, A.; Singh Mumick, I.; Ross, K. A., Adapting materialized views after redefinitions, Proceedings of SIGMOD-95 (1995) · Zbl 0984.68054
[10] Gupta, A.; Sagiv, Y.; Ullman, J. D.; Widom, J., Constraint checking with partial information, Proceedings of the Thirteenth Symposium on Principles of Database Systems (PODS) (1994), p. 45-55
[11] Huang, Yixiu; Sistla, P.; Wolfson, O., Data replication for mobile computers, Proceedings of SIGMOD-94 (1994), p. 13-24
[12] Klug, A., On conjunctive queries containing inequalities, J. Assoc. Comput. Mach., 35, 146-160 (1988) · Zbl 0637.68109
[13] Levy, A. Y.; Fikes, R. E.; Sagiv, S., Speeding up inferences using relevance reasoning: A formalism and algorithms, Artificial Intelligence, 97 (1997) · Zbl 0904.68163
[14] Levy, A. Y.; Mendelzon, A. O.; Sagiv, Y.; Srivastava, D., Answering queries using views, Proceedings of the 14th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (1995)
[15] Levy, A. Y.; Rajaraman, A.; Ordille, J. J., Qeurying heterogeneous information sources using source descriptions, Proceedings of the 22nd VLDB Conference (1996)
[16] Levy, A. Y.; Sagiv, Y., Constraints and redundancy in Datalog, Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (1992), p. 67-80
[17] Levy, A. Y.; Sagiv, Y., Queries independent of updates, Proceedings of the 19th VLDB Conference (1993), p. 171-181
[18] Papakonstantinou, Y.; Gupta, A.; Garcia-Molina, H.; Ullman, J., A query translation scheme for rapid implementation of wrappers, Proceedings of the Conference on Deductive and Object Oriented Databases, DOOD-95 (1995)
[19] Qian, Xiaolei, Query folding, Proceedings of the 12th International Conference on Data Engineering (1996), p. 48-55
[20] Rajaraman, A.; Sagiv, Y.; Ullman, J. D., Answering queries using templates with binding patterns, Proceedings of the 14th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (1995)
[21] Tsatalos, O. G.; Solomon, M. H.; Ioannidis, Y. E., The GMAP: A versatile tool for physical data independence, VLDB J., 5, 101-118 (1996)
[22] Ullman, J. D., Principles of Database and Knowledge-base Systems (1989), Science Press: Science Press Rockville
[23] Ullman, J. D., Information integration using logical views, Proceedings of the International Conference on Database Theory (1997) · Zbl 0944.68047
[24] van der Meyden, R., The complexity of querying indefinite data about linearly ordered domains, Proceedings of the Elevent ACM SIGACT-SIGMOD-SIGART Symposium Principles of Database Systems (1992), p. 331-345
[25] van der Meyden, R., The Complexity of Querying Indefinite Information: Defined Relations Recursion and Linear Order (1992), Rutgers University: Rutgers University New Brunswick
[26] Vassalos, V.; Papakonstantinou, Y., Describing and using query capabilities of heterogeneous sources, Proceedings of the 23rd VLDB Conference (1997), p. 256-265
[27] Yang, H. Z.; Larson, P. A., Query transformation for PSJ-queries, Proceedings of the 13th International VLDB Conference (1987), p. 245-254
[28] Zhang, X.; Ozsoyoglu, M. Z., On efficient reasoning with implication constraints, Proceedings of the International Conference on Deductive and Object-Oriented Databases (1993), p. 236-252
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.