Definability problems for graph query languages

  • Authors:
  • Timos Antonopoulos;Frank Neven;Frédéric Servais

  • Affiliations:
  • Hasselt University and Transnational University of Limburg;Hasselt University and Transnational University of Limburg;Hasselt University and Transnational University of Limburg

  • Venue:
  • Proceedings of the 16th International Conference on Database Theory
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

Given a graph, a relation on its nodes, and a query language Q of interest, we study the Q-definability problem which amounts to deciding whether there exists a query in Q defining precisely the given relation over the given graph. Previous research has identified the complexity of FO- and CQ-definability. In this paper, we consider the definability problem for regular paths and conjunctive regular path queries (CRPQs) over labelled graphs.