Verification of Partitioning and Allocation Techniques on Teradata DBMS