proposition: Lemma GetRelation_Empty_eq : forall MySchema R, GetRelation (QSEmptySpec MySchema) R = (Empty_set _).
proof: Proof. intros; unfold GetRelation, QSEmptySpec. rewrite Build_EmptyRelation_IsEmpty; reflexivity. Qed.
imports: Fiat.QueryStructure.Automation.MasterPlan Bedrock.Memory