On the undecidability of the equivalence of Second-Order tuple generating dependencies

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Journal	CEUR Workshop Proceedings
Volume	749
Publication status	Published - 2011
Externally published	Yes
Event	5th Alberto Mendelzon International Workshop on Foundations of Data Management, AMW 2011 - Santiago, Chile Duration: 9 May 2011 → 12 May 2011

Cite this

@article{cdcb24d1547c4fcc940ab5d514e5e297,

title = "On the undecidability of the equivalence of Second-Order tuple generating dependencies",

author = "Ingo Feinerer and Reinhard Pichler and Emanuel Sallinger and Vadim Savenkov",

year = "2011",

language = "English",

volume = "749",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "5th Alberto Mendelzon International Workshop on Foundations of Data Management, AMW 2011 ; Conference date: 09-05-2011 Through 12-05-2011",

}

TY - JOUR

T1 - On the undecidability of the equivalence of Second-Order tuple generating dependencies

AU - Feinerer, Ingo

AU - Pichler, Reinhard

AU - Sallinger, Emanuel

AU - Savenkov, Vadim

PY - 2011

Y1 - 2011

UR - https://www.scopus.com/pages/publications/84872292116

M3 - Conference article

AN - SCOPUS:84872292116

SN - 1613-0073

VL - 749

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 5th Alberto Mendelzon International Workshop on Foundations of Data Management, AMW 2011

Y2 - 9 May 2011 through 12 May 2011

ER -