毛翼飞
- 作品数：5 被引量：7H指数：1
- 供职机构：东北大学更多>>
- 发文基金：山西省自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术文化科学理学更多>>
- 使用基于脚本的故障注入测试安全苛求软件被引量：1
- 2005年
- 由于安全性苛求软件直接关系人身和大宗财产的安全,为此需要对软件进行严格的安全性测试。提出了一个基于脚本语言的故障注入方法以期得到新的测试手段。此方法通过在故障环境下运行安全苛求软件检验其是否容错和故障安全,结果显示软件测试覆盖率和揭错能力均有增强。该系统可进一步提高安全苛求软件测试自动化水平和测试效率。
- 杨晋辉毛翼飞
- 关键词：安全苛求软件脚本语言
- 演绎数据库中完整性约束视图表示和生成算法
- 2003年
- 在演绎数据库系统中,一般将完整性约束条件和IDB规则分别表示和存储。文章基于笔者自行设计的SD-DDBS系统的IDB规则视图表示方法,给出了一个生成算法,将完整性约束条件表示成视图形式,克服了传统方法中存储开销大,演绎查询实现复杂的缺点,有效地提高了演绎查询的执行效率。
- 毛翼飞陶世群
- 关键词：演绎数据库数据库
- 计算机专业数据库实践课程探索被引量：5
- 2008年
- 数据库课程是计算机专业重要的专业基础课程。如何教好这门课，如何让抽象的的理论知识真正＂活＂起来是教育工作者亟待解决的问题。开设数据库实践学期，带领学生完成一个数据库系统从设计到开发的全过程是解决这个问题的一种探索。本文介绍了这一探索的思路，以及出现的问题和解决的方法。
- 毛翼飞
- 关键词：分组教学
- 演绎数据库中语义查询的动态优化算法
- 2006年
- 演绎数据库的语义查询优化是利用数据库中的完整性约束,将用户提交的查询转换为与原查询等价且执行效率更高的查询规则。该文提出的动态语义优化算法在查询计算过程中动态约去存在的空展开式,使得查询时间开销的节省可用所除去的空展开式规模大小衡量,较适用于含有大量空展开式的演绎数据库。
- 毛翼飞陶世群
- 关键词：查询树
- 一种自底向上的静态语义查询优化算法被引量：1
- 2004年
- 演绎数据库语义查询优化是运用数据库中的语义知识 ,即完整性约束条件 ,将用户提交的一种查询转换为能有效执行 ,并与原查询等价的查询的一种优化方法 .至今在这一领域已有了许多的算法 ,但大多是基于自顶向下的查询计算模式 .而本文提出的静态语义查询优化算法及其改进算法是在优化“并”和“连接”操作的过程中进行自底向上的查询计算 ,因此相对自顶向下的计算方式更有效地提高了查询执行效率 .
- 陶世群毛翼飞
- 关键词：演绎数据库语义查询优化查询树展开式自底向上
