Home -> Usenet -> comp.databases.theory -> Help me plaese

Help me plaese

From: Mirek <migrgec_at_foi.hr>
Date: Tue, 26 Sep 2000 23:43:43 +0200
Message-ID: <ccv1ts8o203feois4uis65n94lg7m31jv0_at_4ax.com> 






Hi people :-)


I need some help on proofing some theorems.
I need those proofs.



Theorem 1.  4NF implies BCNF. (If relational scheme is in 4NF, then it


                                 is also in  BCNF.)


Theorem 2.  PJNF(5NF) implies 4NF. (If relational scheme is in PJNF,


                                 then it is also in  4NF.)


Lemma 1. If relational scheme is in BCNF, then it is also in  3NF.
        

	Thanks :-)...
			Regards Miroslav


Received on Tue Sep 26 2000 - 23:43:43 CEST












Original text of this message