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

Research output: Contribution to journal › Article › peer-review

8 Citations (Scopus)

Original language	English
Pages (from-to)	113-129
Number of pages	17
Journal	Information Systems
Volume	48
DOIs	https://doi.org/10.1016/j.is.2014.09.003
Publication status	Published - Mar 2015
Externally published	Yes

Keywords

Data exchange
Data integration
Database dependencies
Schema mapping optimization

Access to Document

10.1016/j.is.2014.09.003

Cite this

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

publisher = "Elsevier Ltd",

}

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 - https://www.scopus.com/pages/publications/84910135406

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

Keywords

Access to Document

Other files and links

Fingerprint

Cite this