用SQL语言表达复杂查询,是数据库教学中的一个重点和难点,但对数据库理论的初学者是个挑战。文章提出了一个复杂查询的SQL语句生成框架,首先将复杂查询用ALPHA语言表示,然后利用逻辑谓词等价变换理论,将ALPHA语句中的全称量词和逻辑蕴含进行等价变换,再使用ALPHA语言向SQL语言变换生成算法生成SQL查询。该框架在多年的教学实践中得到了检验,并取得了较好的教学效果。
科研之友
微信
新浪微博
Facebook
分享链接
