SQL and First Order Logic/ILP

Hello,

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

I believe it can, because the following LP expression for classifying oranges:

   class(+) :- shape(S, round), colour(C, orange)

   (where S and C are variables I supply)

is equivalent to the SQL query :

   select * from fruit
   where shape = 'round' and colour = 'orange'

But I'm not 100% sure because my maths/understanding of ILP is not very good, and I'm a bit out of my depth. So I may be wrong. Any help would be gratefully appreciated.

Thanks

Majid Received on Mon Jul 08 2002 - 14:45:04 CDT