一种交互式关系代数学习工具设计

关系代数查询、查询优化及转换为等价SQL语言是高校计算机相关专业的核心课程,也是数据库系统课程教学中的重要内容。查询表达、优化、与SQL语言之间转换的工作原理很难被学生直观地理解和掌握,因此学生认为关系代数在关系型数据库的实际执行中没有发挥重要作用。该文基于LALR(1)文法实现了一个界面良好、操作简单的关系代数学习工具。该关系代数学习工具允许通过使用图形界面连接关系型数据库管理系统(例如SQL SERVER),建立关系代数表达式,对关系代数表达式进行对错判断,实现查询数据的实时反馈,让学生更好地理解和学习关系代数。此工具已应用于该校计算机相关专业数据库系统的课程教学,取得了良好的效果。

基于UML状态图的模型信息自动提取技术研究

UML是OMG用于软件系统的可视化、详述、构造和文档化的统一建模语言,状态图是UML模型的重要组成部分,用于描述系统的动态行为。在研究Rational Rose及其状态图文档的基础上,提出了通过UML状态图自动提取模型信息的两种方法—基于LALR(1)文法和基于Rose的扩展接口的提取方法,并对两种方法进行了比较分析。自动提取模型信息技术提高了协议测试序列的自动生成效率。

ATLAS-C语法分析器中冲突消解问题的研究

论文对在设计ATLAS-C语法分析器中YACC工具所无法解决的冲突进行了具体的讨论与研究,并且对出现的冲突提出了相应的解决方案。实验结果证明论文提出的消解冲突的方法在设计语法分析器时具有可行性。

基于 YACC的UML模型转换器

从实际应用出发,研究UML模型转换器的设计与实现.本文分析了UML建模工具Rose所产生模型的文档结构,构造出其LALR(1)文法,利用YACC工具将其转换为统一的UML模型文档.