Given two sets of relational patterns P 1 and P 2 for the relations R1 and R2, a pattern p k belonging to P 1 is a MRP for R1 if condition (1) holds.
a pattern p is minimal for a relation R if none of the patterns for the other relations can be derived from p (i.e.