Paper Title:
Research of SQL Server Automatic Marking Based on Logical Formal
  Abstract

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)
Chapter
Chapter 3: Mechatronics and Automation
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
$32.00
Share

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

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

Authors: Yao Fei Chen, Wei Zheng, Huan Tong Chen
Chapter 10: Applied Computing and Information Technologies
Abstract:SQL Server skill assessment is deficient. This article describes the SQL Server object model SQL-DMO. Propose the process of SQL Server skill...
2369
Authors: Hui Zhang, Ting Lin Huang, Jin Lan Xu
Chapter 11: Building Environment and Equipment Engineering
Abstract:The Management Information System (MIS) on pipe bursts was developed by Visual Basic 6.0 to handle the accident data in water distribution...
1699
Authors: Zhi Xue Li
Chapter 4: Communication, Information Technologies and Computational Algorithms
Abstract:Design of an online examination system.Among the system overview, system requirements are analyzed, the development environment is Visual...
930