Details
-
Improvement
-
Status: Closed
-
Major
-
Resolution: Fixed
-
None
Description
Suppose we have 2 RelSets:
RelSet A: rel1
RelSet B: rel2
rel1 is the parent of rel2.
If there is a transformation rule that transform rel1 to rel2, we will merge RelSet A and B. During merge process, we can safely prune rel1 to avoid further rule apply on rel1 and reduce search space, more importantly, avoid cyclic reference.