Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:2009:present:alsvfd [2009/05/24 23:24] jsi08 |
pl:miw:2009:present:alsvfd [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 249: | Linia 249: | ||
| * on the other hand, attribute A unspecified, in the state formula means ''A=NULL'', so we store NULL in state | * on the other hand, attribute A unspecified, in the state formula means ''A=NULL'', so we store NULL in state | ||
| * here we come to an inference rule: ''A=NULL'' ==> ''A=_''. Seems to be valid... This rules should be optionally disabled/enabled in the inference engine. | * here we come to an inference rule: ''A=NULL'' ==> ''A=_''. Seems to be valid... This rules should be optionally disabled/enabled in the inference engine. | ||
| - | |||
| - | FIXME It seems, we could have three types of NULL-like values: Not-applicable, Potentially-applicable but taking no value empty/no-defined, Applicabe-and-takin-value but unknown. | ||
