The author proposes a scheme of SQL Server Automatic Marking based on logical formal. The scheme consists of three parts: generating paper, skill assessment and automatic marking. Describe the question's Marking information by using the logical formal method. Achieve automatic Marking by building the logical formal system. Focus on three components of the scheme: logical formal description, get information of database based on ADOX(Microsoft ActiveX Data Objects Extensions for Data Definition Language and Security) and automatic marking of three database operations:Creat,Modify and Delete. Describes the whole process of logical formal Marking with example. Analysis the assessment effect of the results about the example. Analysis between manual and automatic Marking shows that: logical Formal automatic Marking is better than the average artificial error and close to the minimum artificial error.