That is, the logic compares the stored intension of a table (i.e., a QRSet) with portions of the query being evaluated.
The logic may incorporate algorithms to detect semantic equivalence of intensional forms.