³ (!)

- , , . ʳ , ' , . 쳿 ', .

, . - , , .

. ³ , .

, . ' , (N+1)- , N- . 򳺿 .

:

;

.

.

1. .

R Y X (X Y ) , X Y: X Y.

2. .

X Y , Y - X.

3. .

, X Y Y Z , X Z.

, ³ , - . ² .

4. .

- , .

5. .

, .

³ R , , .

, , .

³ R , , -, , -, , , - .

( , ϲ , ).

³ , , , - : , ϲ .

, , , , , . , R .

:

- ( ˲ί , , в , , , ).

, . : ˲ί , . , в . ˲ί в , в , ˲ί , . . 4.7.

4.7 -

, (. 4.8 ). , , ˲ί , , , .

4.8 -

:

ϲ - ²IJ -

(ϲ ,ϲ , ²IJ , , ϲ ).

: ϲ- , - , - .

:

ϲ , .

:

ϲ -> ϲ

ϲ -> ²IJ

²IJ -> ϲ

ϲ , -> ϲ .

ϲ , , ϲ ²IJ , ϲ . , ϲ - ²IJ - , , ( ). ' , , . , , . . .

ϲ - ²IJ ϲ - ²IJ ϲ - :

ϲ - ²IJ

(ϲ , ϲ , ²IJ )

:

ϲ

:

ϲ -> ϲ

ϲ -> ²IJ

²IJ -> ϲ

ϲ -

(ϲ_, , ϲ )

:

ϲ ,

:

ϲ , -> ϲ_

2 볿 .

³ R (3) , 2 .

, :

(ϲ , , ʲ, ʲ) , , ʲ ʲ, ϲ , , ʲ ϲ . :

- (ϲ , , ʲ),

ʲ - ( ʲ. ʲ).

. 4.9 , , . , , .

4.9 -

(Բ, , ' ).

볿.

1. , , ' .

2. , ' .

3. ' , , ' .

' .

' :

в ( Բ, ),

' (, ').

, , . .

:

ϲ- (ϲ , ϲ ², , ϲ ) .

( , 䳿 ):

ϲ ,

ϲ ², .

:

ϲ -> ϲ ²

ϲ ->

ϲ ² -> ϲ

ϲ ² ->

ϲ , -> ϲ

ϲ ², ->

ϲ

, , .

, , 3. , , , . , , ² , , . .

- , .

-. ³ R - () , .

, ( ), .

, ϲ-. ϲ ϲ-:

ϲ (ϲ , ϲ ²) .

:

ϲ

ϲ ²

:

ϲ -> ϲ ²

ϲ ² -> ϲ

ϲ- (ϲ ,

, ϲ )

:

ϲ ,

:

ϲ , -> ϲ .

, ϲ ². ϲ ϲ- , 볿.

R (̲, , ).

', , - . , (, S, Z) R, S Z . :

̲, ,

̲.

, ( ) , , , , , ' . , :

̲,

, .

R (̲, , ) -, ̲. -.

:

( , ϲ, ) .

³ , - , , , . , .

' , , , (, - , , , ). , ϲ, , . , . 볿: , , , , .

R (A, B, C) (multi-valued dependence - MVD) R. A R. B , B, A C, A .

:

ϲ

.

, R (A, B, C) A B , A C.

³ R (4) , A B R A.

-ϲ -:

-ϲ ( , ϲ)

- ( , ).

4 .

.

R (, , ϲ , в).

, ; ϲ в - , , . , , . . 4.16 .

4.16.

:

,

(ϲ_, в) .

, , . ϲ в .

, . 4.16. ³ , 1999 . , (, ). ' (1999 - 2000 .) , .

R, , . , , ( . 4.17, 4.18 ).

4.17

4.18.

. , , .

, ,

ϲ-²IJ-(ϲ ,

²IJ , ) .

, . . ³ .

4. 볿, .

³ R (X, Y, ... , Z) ' * (X, Y, ... , Z) , R ' X, Y, ... , Z.

³ R ' , - ' R R.

:

= {ϲ_, ²IJ_}

= { ϲ _, _}

= {²IJ_, _}.

, ϲ-²IJ- ': * (, , )

, . :

ϲ-²IJ (ϲ_, ²IJ_)

- (ϲ_ , _)

²IJ- (²IJ , ).

' - ,

:

1. ().

2. , , .

3. , , .

4. , , .

ϳ , .

.

1. ?

2. ?

3. .

4. .

| |



Copyright VSTU
Created: November 16, 2000