SQL语言的形式语义

• 作者: 李旭帅 毛宇光
• 来源期刊: 微机发展
• 学科: 工学
• 关键词: 中介逻辑谓词演算MFM 结构化查询语言 不完全信息
• 年，卷（期）: 2005,（3）
• 所属期刊栏目: 智能与算法
• 页码范围: 14-16
• 页数: 3页
• 分类号: TP311
• 字数: 2113字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2005.03.005

摘要

对SQL查询的形式语义的研究有助于形式地证明两条SQL语句是否等价,从而消除了自然语言的二义性.SQL标准对SQL的语义规则进行了定义,但是并没有很好地处理不完全信息问题.文中以中介逻辑谓词演算系统MFM为基础,构造一个形式的三值谓词演算模型EPMC,然后通过语法转化规则把SQL查询转化为EPMC,从而完整地定义了SQL查询的形式语义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毛宇光	南京航空航天大学信息科学与技术学院	63	414	10.0	17.0
5	李旭帅	南京航空航天大学信息科学与技术学院	1	5	1.0	1.0