Content deleted Content added
Citation bot (talk | contribs) Add: date. | Use this bot. Report bugs. | Suggested by Abductive | Category:Database theory | #UCB_Category 54/54 |
rm sig |
||
Line 66:
|}
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 ==
| |||