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

Home -> Community -> Usenet -> comp.databases.theory -> Datalog: Ullman's theorem 3.2

Datalog: Ullman's theorem 3.2

From: Lara Winter <tbird_at_gmx.de>
Date: 10 Jun 2002 05:37:02 -0700
Message-ID: <3822f810.0206100437.1685bf1b@posting.google.com> 





Hello group,



I need a formally proof (induction) of the theorem 3.2.
Can anybody help me?



The theorem is located in this book:



Jeff Ullman, "Principles of Database and Knowledge-Base Systems" - Vol. I 
page 114


theorem 3.2



Thanks,


Lisa Winter
Received on Mon Jun 10 2002 - 07:37:02 CDT












Original text of this message













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