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_at_posting.google.com>
Hello group,
Date: 10 Jun 2002 05:37:02 -0700
Message-ID: <3822f810.0206100437.1685bf1b_at_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 - 14:37:02 CEST