Publications in Scientific Journals:

I. Feinerer, R. Pichler, E. Sallinger, V. Savenkov:
"On the undecidability of the equivalence of second-order tuple generating dependencies";
Information Systems, 48 (2015), 113 - 129.

English abstract:
Second-order tuple generating dependencies (SO tgds) were introduced by Fagin et al. to capture the composition of simple schema mappings. Testing the equivalence of SO tgds would be important for applications like model management and mapping optimization. However, we prove the undecidability of the logical equivalence of SO tgds. Moreover, under weak additional assumptions, we also show the undecidability of a relaxed notion of equivalence between two SO tgds, namely the so-called conjunctive query equivalence.

Schema mapping optimization; Database dependencies; Data integration; Data exchange

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Related Projects:
Project Head Reinhard Pichler:
Heterogene Information Integration

Project Head Reinhard Pichler:
SEE: SPARQL Evaluation and Extensions

Created from the Publication Database of the Vienna University of Technology.