PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Calý A., Straccia U. A framework for conjunctive query answering over distributed deep web information resources. In: SEBD 2015 - 23rd Italian Symposium on Advanced Database Systems (Gaeta, Italy, 14-17 June 2015). Atti, pp. 358 - 365. Domenico Lembo, Riccardo Torlone, Andrea Marrella (eds.). Italian Symposium on Advanced Database Systems ( SEBD ), 2015.
 
 
Abstract
(English)
We study a general framework for query rewriting in the presence of general FOL constraints, where standard theorem proving techniques (e.g., tableau or resolution) can be used. The framework supports deciding the existence of an equivalent reformulation of a query in terms of a selected set of database predicates, and if so, it provides an effective approach to constructing such a reformulation based on interpolation. It is particularly concerned with applying this framework to finding effectively executable first-order reformulations (i.e., range-restricted reformulations) a la SQL.
URL: http://sebd2015.dia.uniroma3.it/Home.html#elements
Subject Conjunctive Query Answering
Distributed Information Retrieval
I.2.4 Knowledge Representation Formalisms and Methods


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional