Ingo Feinerer, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov. On the Undecidability of the Equivalence of Second-Order Tuple Generating Dependencies. In Pablo Barceló, Val Tannen, editors, Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile, May 9-12, 2011. Volume 749 of CEUR Workshop Proceedings, CEUR-WS.org, 2011. [doi]
Abstract is missing.