The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable
The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable
复制标题
DOI：
10.1109/lics.2015.35
复制
发表时间：
2015-01
期刊：
影响因子：
--
通讯作者：
Tomasz Gogacz;J. Marcinkowski
中科院分区：
文献类型：
--
作者：
Tomasz Gogacz;J. Marcinkowski
我们在关系数据库理论中解决了一个众所周知的长期开放问题，表明连接性查询确定性问题（在其“无限制”版本中）是不可确定的。
We solve a well known, long-standing open problem in relational databases theory, showing that the conjunctive query determinacy problem (in its "unrestricted" version) is undecidable.