Muestra métricas de impacto externas asociadas a la publicación. Para mayor detalle:
| Indexado |
|
||||
| DOI | 10.1145/3375395.3387653 | ||||
| Año | 2020 | ||||
| Tipo | proceedings paper |
Citas Totales
Autores Afiliación Chile
Instituciones Chile
% Participación
Internacional
Autores
Afiliación Extranjera
Instituciones
Extranjeras
Ontology-mediated querying and querying in the presence of constraints are two key database problems where tuple-generating dependencies (TGDs) play a central role. In ontology-mediated querying, TGDs can formalize the ontology and thus derive additional facts from the given data, while in querying in the presence of constraints, they restrict the set of admissible databases. In this work, we study the limits of efficient query evaluation in the context of the above two problems, focusing on guarded and frontier-guarded TGDs and on UCQs as the actual queries. We show that a class of ontology-mediated queries (OMQs) based on guarded TGDs can be evaluated in FPT iff the OMQs in the class are equivalent to OMQs in which the actual query has bounded treewidth, up to some reasonable assumptions. For querying in the presence of constraints, we consider classes of constraint-query specifications (CQSs) that bundle a set of constraints with an actual query. We show a dichotomy result for CQSs based on guarded TGDs that parallels the one for OMQs except that, additionally, FPT coincides with PTime combined complexity. The proof is based on a novel connection between OMQ and CQS evaluation. Using a direct proof, we also show a similar dichotomy result, again up to some reasonable assumptions, for CQSs based on frontier-guarded TGDs with a bounded number of atoms in TGD heads. Our results on CQSs can be viewed as extensions of Grohe's well-known characterization of the tractable classes of CQs (without constraints). Like Grohe's characterization, all the above results assume that the arity of relation symbols is bounded by a constant. We also study the associated meta problems, i.e., whether a given OMQ or CQS is equivalent to one in which the actual query has bounded treewidth.
| Ord. | Autor | Género | Institución - País |
|---|---|---|---|
| 1 | BARCELO-BAEZA, PABLO | Hombre |
Pontificia Universidad Católica de Chile - Chile
Instituto Milenio Fundamentos de los Datos - Chile |
| 2 | Dalmau, Victor | Hombre |
Universitat Pompeu Fabra Barcelona - España
Univ Pompeu Fabra - España |
| 3 | Feier, Cristina | Mujer |
University of Bremen - Alemania
Univ Bremen - Alemania Universität Bremen - Alemania |
| 4 | Lutz, Carsten | Hombre |
University of Bremen - Alemania
Univ Bremen - Alemania Universität Bremen - Alemania |
| 5 | Pieris, Andreas | Hombre |
The University of Edinburgh - Reino Unido
UNIV EDINBURGH - Reino Unido |
| 6 | Assoc Comp Machinery | Corporación |
| Fuente |
|---|
| FONDECYT |
| Fondo Nacional de Desarrollo Científico y Tecnológico |
| European Research Council |
| EPSRC |
| Engineering and Physical Sciences Research Council |
| Maria de Maeztu Units of Excellence Programme |
| ERC consolidator grant |
| MICCIN |
| Millennium Institute for Foundational Research on Data (IMFD Chile) |
| Agradecimiento |
|---|
| Acknowledgments. Barceló was supported by the Millennium Institute for Foundational Research on Data (IMFD Chile) and Fondecyt grant 1170109. Dalmau was supported by MICCIN grant TIN2016-76573-C2-1P and Maria de Maeztu Units of Excellence Programme MDM-2015-0502 . Feier and Lutz were supported by the ERC consolidator grant 647289 “CODA”. Pieris was supported by the EPSRC grant EP/S003800/1 “EQUID”. |
| Barcelo was supported by the Millennium Institute for Foundational Research on Data (IMFD Chile) and Fondecyt grant 1170109. Dalmau was supported by MICCIN grant TIN2016-76573-C2-1P and Maria de Maeztu Units of Excellence Programme MDM-2015-0502. Feier and Lutz were supported by the ERC consolidator grant 647289 "CODA". Pieris was supported by the EPSRC grant EP/S003800/1 "EQUID". |