Research of SQL Server Automatic Marking Based on Logical Formal

Abstract:

Article Preview

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.

Info:

Periodical:

Advanced Materials Research (Volumes 328-330)

Edited by:

Liangchi Zhang, Chunliang Zhang and Zichen Chen

Pages:

2376-2379

DOI:

10.4028/www.scientific.net/AMR.328-330.2376

Citation:

Y. F. Chen "Research of SQL Server Automatic Marking Based on Logical Formal", Advanced Materials Research, Vols. 328-330, pp. 2376-2379, 2011

Online since:

September 2011

Authors:

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.