Re: SQL and First Order Logic/ILP

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 - 11:10:25 CDT