We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Containment of UC2RPQ: The Hard and Easy Cases

Formale Metadaten

Titel
Containment of UC2RPQ: The Hard and Easy Cases
Serientitel
Anzahl der Teile
25
Autor
Lizenz
CC-Namensnennung - keine Bearbeitung 3.0 Deutschland:
Sie dürfen das Werk in unveränderter Form zu jedem legalen Zweck nutzen, vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen.
Identifikatoren
Herausgeber
Erscheinungsjahr
Sprache

Inhaltliche Metadaten

Fachgebiet
Genre
Abstract
We study the containment problem for UC2RPQ, that is, two-way Regular Path Queries, closed under conjunction, projection and union. We show a dichotomy property between PSpace-c and ExpSpace-c based on a property on the underlying graph of queries. We show that for any class C of graphs, the containment problem for queries whose underlying graph is in C is in PSpace if and only if C has bounded bridgewidth. Bridgewidth is a graph measure we introduce to this end, defined as the maximum size of a minimal edge separator of a graph.