Query independency from updates problem for relational databases
From: <silentser_at_gmail.com>
Date: Mon, 10 Dec 2007 11:26:50 -0800 (PST)
Message-ID: <5e0638be-996a-4c8c-ae42-60116f95a702_at_r60g2000hsc.googlegroups.com>
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.
Date: Mon, 10 Dec 2007 11:26:50 -0800 (PST)
Message-ID: <5e0638be-996a-4c8c-ae42-60116f95a702_at_r60g2000hsc.googlegroups.com>
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 - 20:26:50 CET