System Verilog Array Constraints In Dbms