Aiming at lack of SQL Server skills assessment system, this paper proposes a model about skills assessment of SQL Server Based on ADOX. Logic formal method used to Descript control information of automatic marking. Analysis the description structure of logic formal, access the operation information of database and judge rules of operations about create modify and delete. Using the ADOX method to obtain information database objects, using logic formal method to achieve SQL Server database skills assessment automatic marking.