Re: SQL and First Order Logic/ILP

From: Malte Finsterwalder <finsterwalder02_at_web.de>
Date: Tue, 09 Jul 2002 16:10:25 GMT
Message-ID: <3d2b0a82.98484863_at_news.compuserve.de>


On 8 Jul 2002 19:45:04 GMT, Majid Salim wrote:

>Can an SQL query be considered a first - order logical expression?

a more theoretical question I'm interested in:

What is the relation between the relational model and first oder logic?

Are they equivalent?
If not, why?
Does anyone happen to have any pointers I could follow to learn more?

Greetings,

   Malte Received on Tue Jul 09 2002 - 18:10:25 CEST

Original text of this message