, . :
.
.
, , null- .
Null-
, . - , , .. , . , ( ). , ? - - , .. " " .
, , null-. Null- - , , , , , .
, , , .
, null-, , - , , " " , . ( ) . , , "" . , - , , "" , .
null- . . , null-. , . , null-, , , null- .
null- . , . null- . ., null-.
|
|
null-, . , . , (). , ( ). , .. .
(3VL)
.. null- , , (, , ..) , .. null. , , , , , 10 .
, null-, , , null, null. , (three-valued logic, 3VL), T - F - , U - . U - , null-. :
1. AND
AND | F | T | U |
F | F | F | F |
T | F | T | U |
U | F | U | U |
2. OR
OR | F | T | U |
F | F | T | U |
T | T | T | T |
U | U | T | U |
3. NOT
NOT | |
F | T |
T | F |
U | U |
.
1.
Null- . , null = null , . !
2.
, null- ! , null null , ! , !
3.
. , ( , ).
. , , .
, , . , . , . .
|
|
. R. K R , :
- , .
- .
. , , , , .
, , . , , .
. , , - . , , .
. () . "":
4. ""
, , , - . . . , - " "? , .
, :
5.
A | B | C |
- . , , , , , (1, , 3000). , , (, , , .. ), , - . , .
. , . .
. . - .
.. (.. ), . , null-, "" "" , .
:
. , null-.
, , . , , , .. "", "", "" "" " ", "" "", "" "". , .
|
|
. , , , . :
6. " "
{" ", " "} - .
.
, ? .. , , , . . , .
, , , , ? , , . , (2, , NULL, NULL, NULL) , .. " " null-. , . , , , , , , .
, - , , . , ( , , , 1).
, , , - "", "", "". , , . : " ", " ". "" "": " ".
. , : " ", " ". " -- ".
|
|
"" "" : " ". " -- ".
"--". "--" "--". , "" (, ""), . , "" (, ""), .
"--" , , . , , . .
, :
7. ""
8. ""
9. ""
"" " " " " "" "", , , . , , , . , , . , "", .
.
. R. FK R , :
S (R S ) .
FK R S, null-.
, .
:
, , .
, .
, , . , .. , . , , "--".
- , " -- ". , .
, , , . , , .
, ( ).
Null- ,