For a join R.a = S.a and a single table predicate R.a = 5, we can infer the predicate S.a = 5 to improve the access path on S.

To support this, we need to incorporate these predicates into the JoinGraph and think through the implications on cardinality estimation.