Path Logics for Querying Graphs: Combining Expressiveness and Efficiency - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Path Logics for Querying Graphs: Combining Expressiveness and Efficiency

Abstract

We study logics expressing properties of paths in graphs that are tailored to querying graph databases: a data model for new applications such as social networks, the Semantic Web, biological data, crime detection, and others. The basic construct of such logics, a regular path query, checks for paths whose labels belong to a regular language. These logics fail to capture two commonly needed features: counting properties, and the ability to compare paths. It is known that regular path-comparison relations (e.g., prefix or equality) can be added without significant complexity overhead; however, adding common relations often demanded by applications (e.g., subword, subsequence, suffix) results in either undecidability or astronomical complexity. We propose, as a way around this problem, to use automata with counting functionalities, namely Parikh automata. They express many counting properties directly, and they approximate many relations of interest. We prove that with Parikh automata defining both languages and relations used in queries, we retain the low complexity of the standard path logics for graphs. In particular, this gives us efficient approximations to queries with prohibitively high complexity. We extend the best known decidability results by showing that even more expressive classes of relations are possible in query languages (sometimes with restriction on the shape of formulae). We also show that Parikh automata admit two convenient representations by analogs of regular expressions, making them usable in real-life querying.
Fichier principal
Vignette du fichier
epl.pdf (461.1 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01778476 , version 1 (25-04-2018)

Identifiers

Cite

Diego Figueira, Leonid Libkin. Path Logics for Querying Graphs: Combining Expressiveness and Efficiency. Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.39⟩. ⟨hal-01778476⟩

Collections

CNRS TDS-MACS
285 View
205 Download

Altmetric

Share

Gmail Facebook X LinkedIn More