Re: deductive databases

Jan Hidders wrote:
> Mikito Harakiri wrote:
> >
> > For crist sake, what "functor" in logic are you talking about?
There is
> > no such index entry in the Mendelson's "Intro to Mathematical
Logic"
> > textbook.
>
> Try looking for "function symbol".

Thank you for clarifying that, Jan. Returning to OP question:

"AFAIK the expressive power of modern state-of-art database software like
Oracle and PostgreSQL still falls far behind first-order logic: it essentially doesn't have functors or recursion."

In SQL DBMSs aren't "function symbols" just UDFs (aka stored procedures), then? Including fairly recent incarnations: table functions? Received on Mon May 16 2005 - 19:52:19 CEST