Muestra métricas de impacto externas asociadas a la publicación. Para mayor detalle:
| Indexado |
|
||||
| DOI | 10.2168/LMCS-11(4:1)2015 | ||||
| Año | 2015 | ||||
| Tipo | artículo de investigación |
Citas Totales
Autores Afiliación Chile
Instituciones Chile
% Participación
Internacional
Autores
Afiliación Extranjera
Instituciones
Extranjeras
Graph data models have recently become popular owing to their applications, e.g., in social networks, semantic web. Typical navigational query languages over graph databases - such as Conjunctive Regular Path Queries (CRPQs) - cannot express relevant properties of the interaction between the underlying data and the topology. Two languages have been recently proposed to overcome this problem: walk logic (WL) and regular expressions with memory (REM). In this paper, we begin by investigating fundamental properties of WL and REM, i.e., complexity of evaluation problems and expressive power. We first show that the data complexity of WL is nonelementary, which rules out its practicality. On the other hand, while REM has low data complexity, we point out that many natural data/topology properties of graphs expressible in WL cannot be expressed in REM. To this end, we propose register logic, an extension of REM, which we show to be able to express many natural graph properties expressible in WL, while at the same time preserving the elementariness of data complexity of REMs. It is also incomparable to WL in terms of expressive power.
| Ord. | Autor | Género | Institución - País |
|---|---|---|---|
| 1 | BARCELO-BAEZA, PABLO | Hombre |
Universidad de Chile - Chile
|
| 2 | Fontaine, Gaelle | Mujer |
Universidad de Chile - Chile
|
| 3 | Lin, Anthony Widjaja | Hombre |
Yale NUS Coll - Singapur
Yale NUS College - Singapur Yale-NUS College - Singapur |
| Agradecimiento |
|---|
| Barcelo is funded by the Millennium Nucleus Center for Semantic Web Research under Grant NC120004 and Fontaine by Fondecyt postdoctoral grant 3130491. Part of this work done when Lin visited Barcelo funded by Fondecyt grant 1130104. This work was also partially done when Lin was at Oxford University supported by EPSRC (H026878). |