Add Precondition(for Null checking) and reconstruct RelationStore