Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is Undecidable.

Tomasz Gogacz, Jerzy Marcinkowski

Browse the full PODS paper archive.