Assertion: algebra's set | /r/HasProperty | equal
Facets:
value: on their common attribute names
type: OTHER
Source sentences:
text: the semijoin of relational algebra R ⋉ S is the semijoin of the relations R and S, the set of all tuples in R for which there is a tuple in S that is equal on their common attribute names.
text: This is not a problem, as these sets are equal.