[发明专利]一种DML语句正确性的自动检查方法

说明书

本发明公开了一种DML语句正确性的自动检查方法，包含IDU语句正确性检查：对学生的I、D、U操作进行了回滚，使之不影响数据库中的数据；I、D、U操作一次只能影响数据库的一个表，在操作完成后通过“SUP Select”字段中存贮的select查询字句获得数据库的一个更新状态，然后将事务回滚使数据库恢复到操作执行前的状态；题库中“Ref Answer”字段存贮一个正确操作语句，通过执行“Ref Answer”和“SUP Select”字段的内容也得到数据库的一个更新状态，通过对二个状态的比较来判断学生实验的正确性。本发明主要针对学生在练习DML语言时为其提供自动的语义检查，能够在学生学习SQL查询语句、更新语句时自动检测其练习的正确性，减轻老师和学生的任务，及时反馈学生的学习情况，提高学生学习的效率。

技术领域

本发明涉及数据库领域，特别涉及一种DML语句正确性的自动检查方法。

背景技术

《数据库系统原理》是计算机科学与技术学科教程(CCC2002)中的16门核心课程之一。本课程授课范围非常广泛，包括计算机科学技术、软件工程、网络工程、信息管理、电子商务等多个专业，是一门理论与实践相结合的课程，其中数据库查询及更新等数据操作语句是数据库学习者的基础实验内容，也是掌握数据库的非常重要的技术。掌握数据库的各种查询语句和更新语句，不仅对掌握传统的关系型数据库RDBMS非常重要；随着大数据的发展，很多大数据平台(如Hive数据库)也采用了类似SQL(结构化查询语言)语句进行数据操作，因此掌握SQL语句是所有学习数据管理的基础而核心的技术。但到目前为止，国内大学在开设《数据库系统原理》相关实验内容时，基本采取由老师人工检查学生实验的正确性。一名任课老师面对几十名学生，每次实验一般都会有十道左右练习题，老师面对的检查任务非常重，很难及时地处理学生学习中出现的问题，很多时候依赖学生自己主动去发现错误，对初学者来说这是一项较为困难的任务。随着学生学习的深入，SQL语句的难度和灵活性不断增强，学生学习时出现的问题由语法错误转变为语义错误，人工检查语义错误进一步加重了老师和学生的任务，从而影响到学习者的学习和进度。而随着现代教学方式的多元化，大型网络开放课程MOOC逐步成为一种新的教学方式，而对于《数据库系统原理》这样的理论与实践相结合的课程来说，如何进行实验成了开展这类课程的一个难点问题。

1986年美国国家标准化组织ANSI和国际标准化组织ISO发布了SQL标准SQL-86，SQL语言成为标准关系库的语言，许多数据库产品如Oracle数据库、SQL Server数据库、MySQL数据库等都支持SQL语言。随着大数据管理技术的发展，NoSQL数据存储也提供了类似SQL语言对数据进行查询和操作。SQL语言由数据定义语言DDL、数据操作语言DML、视图定义、事务控制、嵌入式SQL和动态SQL、授权及完整性定义等几部分组成。SQL DML语言主要提供从数据库中查询信息、以及在数据库中插入元组、删除元组、修改元组的能力。

上述现有技术存在以下缺点：

(1)各个数据库管理系统DBMS如Oracle数据库、SQL Server数据库、MySQL数据库等提供SQL DML语句的语法检查，对各种语法错误给出提示，但不提供语义正确性检查，这对DBMS系统来说是无法实现的，因为查询要求是不确定的，语义正确性也是不确定的，无法对不确定的内容进行检查。

DBMS只能提供SQL DML的语法错误的检查，不能检查语义正确性。而随着SQL DML语句的深入学习，一个查询需求可能存在有多种表达方式，如一个查询可以采用复杂的连接运算，也可以采用子查询，而子查询又可以采用不同的谓词形式，如用EXIST、IN等都可能表达相同的查询结果，学生在表达形式上会出现多样化，这会大大地增加老师检查语义正确性的难度。

(2)国外斯坦福大学开设的数据库MOOC课程为SQL DML语句的练习提供了一个学习平台，能自动检查学习者的实验情况，但该学习平台的技术并未公开，无法获得其技术的实现细节。