deductive databases
From: alex goldman <hello_at_spamm.er>
Date: Wed, 11 May 2005 07:22:11 -0700
Message-Id: <25978468.7Z4LEkyPSR_at_yahoo.com>
Nilsson's book [1] talks about using first-order logic (and its subsets) as the language for deductive databases. The book is 10 years old, and yet, 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. Does anyone know why?
Date: Wed, 11 May 2005 07:22:11 -0700
Message-Id: <25978468.7Z4LEkyPSR_at_yahoo.com>
Nilsson's book [1] talks about using first-order logic (and its subsets) as the language for deductive databases. The book is 10 years old, and yet, 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. Does anyone know why?
[1] http://www.ida.liu.se/~ulfni/lpp/ Received on Wed May 11 2005 - 16:22:11 CEST