Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> deductive databases

deductive databases

From: alex goldman <hello_at_spamm.er>
Date: Wed, 11 May 2005 07:22:11 -0700
Message-Id: <25978468.7Z4LEkyPSR@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 - 09:22:11 CDT












Original text of this message













  HOME |
  ASK QUESTION |
  ADD INFO |
  SEARCH |
  E-MAIL US