
Karpova_bazy_dannyh
.pdf
111
,
.
.
.
----------------------------------------------------------------------------------
.
-
.
-----------------------------------------------------------------------------------------------------------------
:
(
),
-
-
(
-
) ,
,
,
-
.
-
-
, |
- |
.
-
.
,
.
-
.
-
-
.
,
-
.
,
.
-
:
(1NF),
(2NF),
(3NF),
-
(BCNF),
(4NF),
(5NF
PJNF).

112 |
6. |
y
:
-
,
|
|
- |
|
. |
|
|
|
|
|
|
- |
|
. |
|
- |
|
, |
|
- |
. |
, |
- |
- |
|
|
. |
|
_______________________________________________________
,
,
-
.
_______________________________________________________________________
.
,
-
,
,
,
.
|
, |
|
|
- |
, |
|
|
. |
- |
|
, |
|
|
- |
|
, |
, |
|
- |
|
. |
|
|
|
|
. |
|
|
|
|
|
R |
|
- |
|
, |
|
|
|
R.A -> R.B |
-> |
|
|
|
|
R[A] |
R[B], |
|
- |
|
R[A] |
|
- |
- |
R[
],
=
R.
RA-> R
,
-
,
R -> R
,
1
=> R.A -/ > R.B
:
1,
A, R.B
-
R.A,
R.A->R.B
.

113
R.A -> R.B
,
,
:
1. A.
2.6
.
3. R. A >R.C.
4. R.C > R.A.
5. R.C > R.B.
-
(
)
,
-
,
-
-
.
,
?
-
-
.
,
.
,
-
.
-
,
,
,
.
.
,
-
.
,
.
,
-
.
,
-
,
,
.
, |
|
, |
, |
|
- |
. |
- |
- |
|
|
- |
.
:
1.:
A,
>
.
2.:
A>
,
.
>B.
3.:
>
>
,
>
.



116 |
6. |
,
,
-
.
,
.
,
,
-
,
-
,
,
.
-
,
.
_________________________________________________
,
.
_____________________________________________________________________
,
,
,
o
.
()
,
. |
, |
, |
- |
, |
, |
|
. |
, |
|
, |
- |
, |
. |
, |
- |
|
, |
|
- |
.
:
- >
- >
- >
- >
->
- >
->
- >
- >
.
,
,
:
( |
) |
()
()
.

118 |
6. |
( _
.
.
.
) (
.
_
)
:
( |
|
. |
. |
. |
) |
|
( |
|
. |
|
_ |
) |
|
|
|
|
|
|
, |
- |
|
|
|
|
|
|
- |
. |
, |
, |
, |
|
, |
, |
,
,
,
,
.
-
,
-
,
-
,
-
.
-
,
.
_______________________________________________________
R (
,
,
)
(multi valid dependence, AVD) R.A ->> R.
,
,
A
,
.
____________________________________________________________________
,
-
.
,
.
?
-
,
.
,
.
,
: (
).
,
,
-
,
(
,
).
:
->>
->>
,
-
,
.
,
-
,

119
,
.
,
,
,
-
,
.
,
,
,
.
.
, |
, |
- |
R ( , , ) |
RA->> RB |
|
, |
R |
->> R . |
, |
, |
- |
. |
|
|
_________________________________________________
R (
,
,
)
R1(
,
)
R2(A,C)
,
MVD
->>
|
(
-
->>
- >>
).
____________________________________________________________________
-
,
-
.
-
,
.
E_______________________________________________________
R
(4NF)
,
->>
-
R
.
____________________________________________________________________
:
(,
) (
,
)
4NF
.
-
,
,
,
,
,
,
.
5NF,
:
«
-
» {project-join
,
PJ-
.)

119
,
.
,
,
,
-
,
.
,
,
,
.
.
, |
, |
- |
R ( , , ) |
RA->> RB |
|
, |
R |
->> R . |
, |
, |
- |
. |
|
|
_________________________________________________
R (
,
,
)
R1(
,
)
R2(A,C)
,
MVD
->>
|
(
-
->>
- >>
).
____________________________________________________________________
-
,
-
.
-
,
.
E_______________________________________________________
R
(4NF)
,
->>
-
R
.
____________________________________________________________________
:
(,
) (
,
)
4NF
.
-
,
,
,
,
,
,
.
5NF,
:
«
-
» {project-join
,
PJ-
.)

120 |
6. |
|
|
|
|
|
|
- |
|
|
. |
|
|
|
|
_______________________________________________________ |
|||
|
R <X, Y, Z) |
|
(X, Y, Z) |
|
|
, |
R |
- |
|
|
X, Y, Z. |
X, Y, Z |
R. |
_______________________________________________________________________
PJ
.
______________________________________________________
R
(
PJ(NF))
,
-
R
R.
_______________________________________________________________________
R1:
(R1)
,
.
.
,
4NF.
-
|
|
. |
|
|
( |
) |
|
|
|
( |
|
) |
|
|
( |
) |
|
|
|
, |
R1 |
|
|
|
( , , ). |
R1 |
NF/PJ, |
- |
- |
|
|
, |
PJ |
- |
, |
- |
Rl. |
NF/PJ, |
: |
|
R2 ( |
) |
R3 ( |
) |
R4 ( |
) |
|
|
. |
|
. |
|
« |
», |
|
|
, |
- |
|
R1. |
- |
|
. |
|