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

Ingo Feinerer, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov

Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › peer-review

Originalsprache	Englisch
Fachzeitschrift	CEUR Workshop Proceedings
Jahrgang	749
Publikationsstatus	Veröffentlicht - 2011
Extern publiziert	Ja
Veranstaltung	5th Alberto Mendelzon International Workshop on Foundations of Data Management, AMW 2011 - Santiago, Chile Dauer: 9 Mai 2011 → 12 Mai 2011

Andere Dateien und Links

@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 -