Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Can One Escape Red Chains? Regular Path Queries Determinacy is
  Undecidable   For a given set of queries (which are expressions in some query language)
$\mathcal{Q}=\{Q_1$, $Q_2, \ldots Q_k\}$ and for another query $Q_0$ we say
that $\mathcal{Q}$ determines $Q_0$ if -- informally speaking -- for every
database $\mathbb D$, the information contained in the views
$\mathcal{Q}({\mathbb D})$ is sufficient to compute $Q_0({\mathbb D})$. Query
Determinacy Problem is the problem of deciding, for given $\mathcal{Q}$ and
$Q_0$, whether $\mathcal{Q}$ determines $Q_0$. Many versions of this problem,
for different query languages, were studied in database theory. In this paper
we solve a problem stated in [CGLV02] and show that Query Determinacy Problem
is undecidable for the Regular Path Queries -- the paradigmatic query language
of graph databases.

33
The categories of this paper are: plasm-ph
21
The categories of this paper are: adap-org
23
The categories of this paper are: solv-int
2
The categories of this paper are: math
29
The categories of this paper are: funct-an
31
The categories of this paper are: ao-sci
0
The categories of this paper are: hep-ph
32
The categories of this paper are: atom-ph
25
The categories of this paper are: patt-sol
13
The categories of this paper are: quant-ph
14
The categories of this paper are: math-ph
7
The categories of this paper are: hep-th
19
The categories of this paper are: eess
17
The categories of this paper are: q-fin
4
The categories of this paper are: cond-mat
28
The categories of this paper are: alg-geom