晏庆
- 作品数：4 被引量：8H指数：2
- 供职机构：国防科学技术大学计算机学院更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- GKD-Base中嵌入式SQL的设计与实现被引量：3
- 2006年
- GKD-Base数据库管理系统是自主开发并具有高安全级别的关系型数据库系统,讨论了该系统中嵌入式SQL的设计与实现技术。在C语言中嵌入SQL语句,就需要处理两种语言成分,即C语言成分与GKD-ESQL语句成分,通过对GKD-ESQL语句的预编译处理,识别其中的SQL语句,并将其转换成相应的C语言函数调用格式,并在ESQL运行库中实现这些函数,从而通过C编译器的处理,就可以将嵌入式SQL编译成可执行代码,并在GKD-Base数据库管理系统中执行。
- 晏庆阳国贵陈宏盛景宁
- 关键词：嵌入式SQL预编译运行库DBMS
- 嵌入式SQL中动态SQL技术的研究被引量：5
- 2006年
- 对动态 SQL 技术进行了研究,实现了一个嵌入式 SQL 系统中动态 SQL 语句处理的3种方法。首先介绍了整个嵌入式 SQL 系统 GKD-ESQL 系统,然后详细描述了3种动态 SQL 语句的处理方法,重点讲述了方法3的设计与实现,最后讲述了动态 SQL 语句的错误处理机制。
- 晏庆阳国贵陈宏盛景宁
- 关键词：嵌入式SQL动态SQLDBMS
- GKD-Base中嵌入式SQL关键技术的研究与实现
- 现代关系数据库产品，除提供结构化查询语言SQL外，还需要提供数据库服务器端业务逻辑处理语言，该语言将具有数据管理能力和数据处理能力。在数据库学术界和产业界的共同努力下，设计了嵌入式SQL语言。嵌入式SQL语言就是将SQL...
- 晏庆
- 关键词：数据库管理系统嵌入式SQL预编译器运行库动态SQL
- 文献传递
- 形式化规范测试模板框架的研究
- 2005年
- 采用基于形式规范的测试模板框架(TTF)可使测试规范通用化。测试规范使用基于模型的规范语言,由描述语言Z定义TTF基本部件的形式描述测试数据和其它测试信息。并使用结构法建立测试模板的层次,简化测试数据的导出,确定测试功能单元的有效输入空间,再细分为要求的子集或域,以得到最终测试数据模板。
- 吴妍阳国贵石文渊晏庆
- 关键词：形式化规范
