.
- . , . , -.
: . .
- . .
[NN5]
, , . , . - , , .
D1, D2,..,Dk
D1*D2*....*Dk,
..........................................
k, .. k -
,
(. 6.1).
D1={A, 2}, D2={B, C} D3={4, 5, D}, k=3 D= D1 * D2 *D3 ={(A,B,4),(A,B,5),(A,B,D),
(A,C,4),(A,C,5),(A,C,D),
(2,B,4),(2,B,5),(2,B,D),
(2,C,4),(2,C,5),(2,C,D)}.
R D1,D2,...,Dk D1*D2*....*Dk, R, D1*D2*....*Dk :
D. , D3 A3=(4,5).
.
, , , ,
R1
A | B | |
A | C |
R2
C |
R3
C | D | |
A | B | |
A | B | |
B | D |
. P(x1,x2,...,xn) , , , D1,D2,...,Dn. ,
, , ,
., .
. - - X , , , , . , X f(x) a.
|
|
R(A1,...,An) P(x1,...,xn), , , , P(a1,a2,...,an)=1, <a1,a2,...,an> , i=1,n, . , .
, . , . .
D1
A 2
D2 D2
B C B C
D3 D3 D3 D3 5 D 4 5 D 4 5 D 4 5 D
A,B,4 A,C,4 2,B,4 2,C,4
A,B,5 A,C,5 2,B,5 2,C,5
A,B,D A,C,D 2,B,D 2,C,D
.6.1.
[NN6] 6.
, . - .
(.7.1) .
.7.1.
7.1.
- , . - .
, (.. ).
.
, .
, . .
- . ( ) . , . , .
|
|
, , . . PARIS, ModAPT-Caspa, APT-CM . . , , , - C, Pascal, Pl-1, Ada.
7.2.
- , . .