Re: deductive databases

From: Mikito Harakiri <mikharakiri_nospaum_at_yahoo.com>
Date: 16 May 2005 10:52:19 -0700
Message-ID: <1116265939.405452.181220@o13g2000cwo.googlegroups.com>

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 - 12:52:19 CDT