并发更新环境下的视图维护异常研究

通过对视图维护过程中的更新异常进行分析,发现并发更新是导致视图维护异常的主要原因.在并发环境下,数据更新和模式更新极有可能同时存在,这对视图维护工作带来极大的困难.在实例分析基础上,深入而细致地刻画了模式与数据全面并发的典型情形,为视图维护工作奠定基础.     

共关系的基本性质

共关系(corelation)是关系的对偶概念。共关系理论可为共代数行为等价及共等式规范的研究提供一条新的途径。文章使用范畴理论研究共关系的基本性质,讨论共关系与关系之间的对应,以及等价共关系、共等价共关系等。特别地,还探讨了集合范畴中共关系的性质。     

编译原理教学改革实践初探

编译原理是计算机科学与技术专业众多专业课程中理论与实践相结合的典范,但长期以来该课程的教学与实验内容陈旧,难以跟上软件技术迅速发展的步伐。根据作者近年的教学实践经验,提出在该课程的教学活动中应贯穿一种新的指导思想,即强调"语言也是求解问题的一种有效途径"。阐述了这一教学改革的新思路,并以此为基础重新设计了该课程的实验环节。