Content deleted Content added
The chase process is confluent. |
|||
Line 10:
Chase test can be done by drawing a tableau. Suppose ''R'' has [[attribute (computing)|attributes]] ''A, B, ...'' and components of ''t'' are ''a, b, ...''. For ''t<sub>i</sub>'' use the same letter as ''t'' in the components that are in S<sub>''i''</sub> but subscript the letter with ''i'' if the component is not in ''i''. Then, ''t<sub>i</sub>'' will agree with ''t'' if it is in S<sub>''i''</sub> and will have a unique value otherwise.
The chase process is [[confluence (rewriting system)|confluent]].
==Example==
| |||