Colección SciELO Chile

Departamento Gestión de Conocimiento, Monitoreo y Prospección
Consultas o comentarios: productividad@anid.cl
Búsqueda Publicación
Búsqueda por Tema Título, Abstract y Keywords



The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs
Indexado
WoS WOS:000627789800018
Scopus SCOPUS_ID:85086276733
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


Abstract



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.

Revista



Revista ISSN
978-1-4503-7108-7

Métricas Externas



PlumX Altmetric Dimensions

Muestra métricas de impacto externas asociadas a la publicación. Para mayor detalle:

Disciplinas de Investigación



WOS
Sin Disciplinas
Scopus
Sin Disciplinas
SciELO
Sin Disciplinas

Muestra la distribución de disciplinas para esta publicación.

Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.

Colaboración Institucional



Muestra la distribución de colaboración, tanto nacional como extranjera, generada en esta publicación.


Autores - Afiliación



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

Muestra la afiliación y género (detectado) para los co-autores de la publicación.

Financiamiento



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)

Muestra la fuente de financiamiento declarada en la publicación.

Agradecimientos



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".

Muestra la fuente de financiamiento declarada en la publicación.