Implement optimization rewritings that rely on database SQL constraints

Hive already has support to declare multiple SQL constraints (PRIMARY KEY, FOREIGN KEY, UNIQUE, and NOT NULL). Although these constraints cannot be currently enforced on the data, they can be made available to the optimizer by using the 'RELY' keyword.

This ticket is an umbrella for all the rewriting optimizations based on SQL constraints that we will be including in Hive.