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: ... <<

1. Most colleges have honor codes about presenting the work of other people as your own. The colleges where I have taught and attended, what you are doing is grounds for dismissal.
2. Why do you expect people to go out and buy a book to help you do your homework? Just post the theorem instead of the reference.

I hope I am wrong about you, but you look both lazy and dishonest. Received on Mon Jun 10 2002 - 23:43:03 CEST