Re: SQL and First Order Logic/ILP

From: Jeff Zucker <jeff_at_vpservices.com>
Date: Wed, 10 Jul 2002 15:17:00 -0700
Message-ID: <3D2CB25C.6030006@vpservices.com>

Malte Finsterwalder wrote:

> On 9 Jul 2002 18:49:40 +0200, Jan.Hidders wrote:
>
>

>>>What is the relation between the relational model and first oder
>>>logic?
>>>
>>They are one and the same.
>>

>
> Do you know a document that has a proof that the models are
> equivalent? One that I could cite in a masters thesis?

Well for one thing, you can cite Jan's posting in this newsgroup. I see no reason that his online writing should be less authoritative than his print publications. If you use the google groups URL to his reply to your query, it should be as permanent a URL as any. :-)

-- 
Jeff

Received on Wed Jul 10 2002 - 17:17:00 CDT