| Oracle FAQ | Your Portal to the Oracle Knowledge Grid | |
Home -> Community -> Usenet -> comp.databases.theory -> Re: Datalog: Ullman's theorem 3.2
>> I need a formally proof (induction) of the theorem 3.2. ... The
theorem is located in this book: ... <<
I hope I am wrong about you, but you look both lazy and dishonest. Received on Mon Jun 10 2002 - 16:43:03 CDT
![]() |
![]() |