操作系统课程的多角度教学模式探索

针对计算机操作系统课程教学中存在的教学方法单一、理论与实践脱节、实践环节薄弱等问题,介绍我院在计算机操作系统课程教学中采用的"课程网站、操作系统实例分析、阶段性课程小论文、实验题目设置、课程教学讨论班"等多角度教学模式。实践表明,该教学模式对学生提高对课程内容的深入理解和掌握、提高自主学习能力和主动学习的兴趣方面收到了良好的效果,能拓宽学生相关专业领域的知识面。     

PROLOG—DBMS系统实现中的子句间优化技术

实用ＰＲＯＬＯＧ—ＤＢＭＳ系统实现中的首要问题是要保证系统的正确性．然而,从数据库中提取冗余数据不但严重地影响系统的效率,而且影响系统的正确性．本文所提出的子句间优化技术可以解决这一问题．因为采用这一技术可以保证仅从数据库中提取有用事实并且没有任何元组多于一次被提取．     

用集合映射构造NF~2中的新依赖

1.引言 NF~2的一个公开问题是如何表示关系.我们认为数据依赖是一种很好的表示方法由依赖表示的数据库模式具有最小数据冗余、上佳分解、高效查询