On the undecidability of the equivalence of second-order tuple generating dependencies

Ingo Feinerer; Reinhard Pichler; Emanuel Sallinger; Vadim Savenkov

doi:10.1016/j.is.2014.09.003

On the undecidability of the equivalence of second-order tuple generating dependencies

Ingo Feinerer, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov

TU Wien

Publikation: Beitrag in Fachzeitschrift › Artikel › peer-review

8 Zitate (Scopus)

Originalsprache	Englisch
Seiten (von - bis)	113-129
Seitenumfang	17
Fachzeitschrift	Information Systems
Jahrgang	48
DOIs	https://doi.org/10.1016/j.is.2014.09.003
Publikationsstatus	Veröffentlicht - März 2015
Extern publiziert	Ja

Zugriff auf Dokument

10.1016/j.is.2014.09.003

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

@article{cca449d49c5140f58c2412d8a2719e48,

title = "On the undecidability of the equivalence of second-order tuple generating dependencies",

keywords = "Data exchange, Data integration, Database dependencies, Schema mapping optimization",

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

year = "2015",

month = mar,

doi = "10.1016/j.is.2014.09.003",

language = "English",

volume = "48",

pages = "113--129",

journal = "Information Systems",

issn = "0306-4379",

}

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 - 2015/3

Y1 - 2015/3

KW - Data exchange

KW - Data integration

KW - Database dependencies

KW - Schema mapping optimization

UR - http://www.scopus.com/inward/record.url?scp=84910135406&partnerID=8YFLogxK

U2 - 10.1016/j.is.2014.09.003

DO - 10.1016/j.is.2014.09.003

M3 - Article

AN - SCOPUS:84910135406

SN - 0306-4379

VL - 48

SP - 113

EP - 129

JO - Information Systems

JF - Information Systems

ER -

On the undecidability of the equivalence of second-order tuple generating dependencies

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Dieses zitieren