Research of SQL Server Automatic Marking Based on Logical Formal

摘要：

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 questions 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.

关键词： Logical formal Database Automatic marking ADOX

作者: Yao Fei Chen

作者单位: Jinhua Polytechnic, College of Information Engineering, Jinhua 321007,P.R. China

会议类型: 国际会议

会议名称: 2011 International Conference on Mechatronics and Materials Processing(2011年机电一体化与材料加工国际会议 ICMMP)

会议地点: 广州

会议语种:英文

页码: 2376-2379

在线出版日期: 2011-11-18（万方平台首次上网日期，不代表论文的发表时间）