Re: SQL and First Order Logic/ILP

In article <Xns9245D3858528Aphobosanomaly_at_130.133.1.4>, Majid Salim <phoenix_equation_at_yahoo.com> wrote:
>
>Can an SQL query be considered a first - order logical expression?

More or less. If you forget for a moment that in SQL there are aggregration operators and a group-by, that you can do some mathematical operations, that you can sort and that SQL allows duplicates in its result, then, yes, it is equal to first-order logic. :-)

>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.

You mean Inductive Logic Programming? What's wrong with just Logic Programming? :-) Look in the literature (or the Web) for 'datalog', which is essentially Prolog without the function symbols. Non-recursive datalog is equivalent with first-order logic.

• Jan Hidders