人能逃脱红色锁链吗？正则路径的确定性是不可判定的
Can One Escape Red Chains? Regular Path Queries Determinacy is Undecidable
摘要：
对于给定的一组查询（它们是某种查询语言中的表达式）$\mathcal{Q}=\{Q_1$、$Q_2, \ldots Q_k\}$和另一个查询$Q_0$，我们说$\mathcal{Q}$确定$Q_0$，如果--非正式地说--对于每个数据库$\mathbb D$，视图$\mathcal{Q}({\mathbb D})$中包含的信息足以计算$Q_0({\mathbb D})$。查询确定性问题（Query Determinacy Problem）是对给定的$\mathcal{Q}$和$Q_0$，判定$\mathcal{Q}$是否确定$Q_0$的问题。在数据库理论中，针对不同的查询语言，研究了这个问题的许多版本。本文解决了[CGLV 02]中的一个问题，证明了图数据库的典范查询语言--正则路径查询的查询确定性问题是不可判定的。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
