Added COUNT(DISTINCT customerID)

Added COUNT(DISTINCT customerID)
Precalulated timestamp in Transaction Column
Started new proof for R JOIN S equivalence