The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2015
- DOI:
- 10.48550/arXiv.1501.01817
- arXiv:
- arXiv:1501.01817
- Bibcode:
- 2015arXiv150101817G
- Keywords:
-
- Computer Science - Databases
- E-Print:
- doi:10.1109/LICS.2015.35