Content deleted Content added
Minibear898 (talk | contribs) |
Minibear898 (talk | contribs) |
||
Line 58:
| ''a'' || ''b'' || ''c'' || ''d''
|}
At this point, notice that the third row is (''a'', ''b'', ''c'', ''d'') which is the same as ''t''. Therefore, this is the final tableau for the chase test with given ''R'' and ''F''. Hence, whenever ''R'' is projected onto S<sub>1</sub>, S<sub>2</sub> and S<sub>3</sub> and rejoined, the result is in ''R''. Particularly, the resulting tuple is the same as the tuple of ''R'' that is projected onto {''B'', ''C'', ''D''}.
== References ==
| |||