Real Interval Are Distinct keys