. .
, (), (), () , , . :
- ,
, D; a , D, D; oc D ;
- ,
, θ- , , D.
, R, R1, , :
= {r | r R (r) = ""}
. .
, R10 "0011003". R 12 =
R12 | ||
1 | 1 | |
1 | 3 |
.
R , SR = (A1,..., An) R.
B R.
R , , , , , R , .
.
, , . . , .
, , " 1".
R10 , "". R14:
R13 = R14 =
R13 | |||
1 | 1 | ||
1 | 3 | ||
R14 | |||
1 | |||
3 | |||
.
: , , , , , .
- . , , .
|
|
:
θ
( θ )
.
θ , R Q, β. :
R.a i θ Q.bj. θ (<, <=, >, >=, <>, =).
R Q =
β (=), .
θ .
. R15 , , :
R15 | |||
M1 | -1 | ||
2 | -2 | ||
3 | -1 | ||
1 | -3 | ||
3 | -3 | ||
1 | -1 | ||
3 | -1 | ||
4 | -2 | ||
2 | -3 | ||
5 | -3 | ||
2 | -1 | ||
R17 | |||
M1 | |||
R16 .
R16 | |
1 | |
3 1 |
, 1 "-1".
R17= R18=
R S, X, .
.
:
R4 | |
M1 | |
3 | |
3 |
R5 | |
1 | |
3 1 |
R4 R5 | ||
M1 | 1 | |
3 | 3 |
, , . .
, R, S, .
Null.
, .
, R, R S.
:
R. -. .
|
|
, , .
R A, S , . = , .. R, S. R ÷ S R, C, S.
:
.
D1, (SN) (PN). DOR, :
SN | PN |
S1 | P1 |
S1 | P2 |
S1 | P3 |
S1 | P4 |
S1 | P5 |
S1 | P6 |
S2 | P1 |
S2 | P2 |
S3 | P2 |
S4 | P2 |
S4 | P4 |
S4 | P5 |
D1
DOR DOR DOR
PN |
P1 |
P4 |
PN |
P1 |
PN |
P1 |
P2 |
P3 |
P4 |
P5 |
P6 |
D1 ÷ DOR:
SN |
S1 |
S4 |
SN |
S1 |
SN |
S1 |
S2 |
, , . . ( , ), .
. , , , . , . , , .. - . . , , . , , . , . . . , , . . . . , QUEL, Ingres. |
RANGE. , , ,
RANGE OF IS ;
, , . . , , _ , ._.
|
|