Query independency from updates problem for relational databases

In paper "Independence of Logic Database Queries and Updates" by C. Elkan it is proven that for logical databases query independency from updates problem is undecidable. In some papers I've seen claims that this problem is also undecidable for relational databases (the papers are referring to the Elkan's paper). But, as far as I know, not every Datalog program can be expressed in terms of full relational algebra and vice versa.

So I'm wondering whether such statements are correct and whether this problem is indeed undecidable for relational databases?

Sergei Received on Mon Dec 10 2007 - 13:26:50 CST