2000 character limit reached
The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable (1501.01817v2)
Published 8 Jan 2015 in cs.DB
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.