Title :
View-based query processing and constraint satisfaction
Author :
Calvanese, Diego ; De Giacomo, Giuseppe ; Lenzerini, Maurizio ; Vardi, Moshe Y.
Author_Institution :
Dipt. di Inf. e Sistemistica, Rome Univ., Italy
Abstract :
View-based query processing requires answering a query posed to a database only on the basis of the information on a set of views, which are again queries over the same database. This problem is relevant in many aspects of database management, and has been addressed by means of two basic approaches: query rewriting and query answering. In the former approach, one tries to compute a rewriting of the query in terms of the views, whereas in the latter, one aims at directly answering the query based on the view extensions. We study view based query processing for the case of regular-path queries, which are the basic querying mechanisms for the emergent field of semistructured data. Based on recent results, we first show that a rewriting is in general a co-NP function wrt to the size of view extensions. Hence, the problem arises of characterizing which instances of the problem admit a rewriting that is PTIME. A second contribution of the work is to establish a tight connection between view based query answering and constraint satisfaction problems, which allows us to show that the above characterization is going to be difficult. As a third contribution, we present two methods for computing PTIME rewritings of specific forms. The first method, which is based on the established connection with constraint satisfaction problems, gives us rewritings expressed in Datalog with a fixed number of variables. The second method, based on automata-theoretic techniques, gives us rewritings that are formulated as unions of conjunctive regular-path queries with a fixed number of variables
Keywords :
automata theory; computational complexity; constraint theory; query processing; rewriting systems; Datalog; PTIME rewritings; automata-theoretic techniques; co-NP function; conjunctive regular-path queries; constraint satisfaction problems; database management; query answering; query rewriting; querying mechanisms; regular-path queries; semistructured data; view based query processing; view extensions; Computer science; Data warehouses; Databases; Query processing; Reactive power; Remuneration; Warehousing;
Conference_Titel :
Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on
Conference_Location :
Santa Barbara, CA
Print_ISBN :
0-7695-0725-5
DOI :
10.1109/LICS.2000.855784