@inproceedings{ff2bdb86de4046df9d4bcf2a410d22dc,
title = "On finding query rewritings under expressive constraints",
abstract = "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 first-order 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. The reformulation is effectively executable as a SQL query, i.e., it is a range-restricted reformulation.",
author = "Alex Borgida and {De Bruijn}, Jos and Enrico Franconi and Inan{\c c} Seylan and Umberto Straccia and David Toman and Grant Weddell",
year = "2010",
language = "English (US)",
isbn = "9788874883691",
series = "SEBD 2010 - Proceedings of the 18th Italian Symposium on Advanced Database Systems",
publisher = "Esculapio Editore",
pages = "426--437",
booktitle = "SEBD 2010 - Proceedings of the 18th Italian Symposium on Advanced Database Systems",
note = "18th Italian Symposium on Advanced Database Systems, SEBD 2010 ; Conference date: 20-06-2010 Through 23-06-2010",
}