广东省自然科学基金(031542)
- 作品数：4 被引量：4H指数：2
- 相关作者：周晓聪舒忠梅王金陈左亚尧李师贤更多>>
- 相关机构：中山大学更多>>
- 发文基金：国家自然科学基金广东省自然科学基金广东省科技计划工业攻关项目更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 基于模式和数据并发更新的视图维护机制
- 2006年
- 在数据仓库的实化视图维护处理中,如何有效地处理并发更新是一个重要而又棘手的问题.文中阐述了P2P环境下模式与数据全面并发的典型情形,分析了因并发更新而导致视图维护异常的原因,针对这些不同的方面提出相应的纠正策略.给出了一种基于时态演算的并发更新侦测方法,以及混合更新下对关联更新进行检测的有效算法,最后提出了解决乱序提交问题的增强代理机制,确保了数据仓库与数据源的一致性.
- 舒忠梅李师贤左亚尧周晓聪
- 类型系统的λω×_≤等式理论及其语义的合理性被引量：2
- 2006年
- 类型系统在研究程序设计语言的理论基础方面起着十分重要的作用,特别地,带子类型的多态类型系统可刻画面向对象程序设计语言核心概念,如子类型、多态性等.为研究面向对象程序设计语言的形式理论基础,探讨了一个命名为类型系统λω×≤的带高阶子类型的多态类型系统,并利用插入子和fibration理论,引入λω×≤fibration作为该类型系统的语义模型.进一步,讨论了类型系统λω×≤的等式理论,特别是与受限全称量词有关的等式,并利用插入子的性质,证明了对于该等式理论,λω×≤fibration是合理的语义模型.
- 周晓聪
- 共关系的基本性质
- 2006年
- 共关系(corelation)是关系的对偶概念。共关系理论可为共代数行为等价及共等式规范的研究提供一条新的途径。文章使用范畴理论研究共关系的基本性质,讨论共关系与关系之间的对应,以及等价共关系、共等价共关系等。特别地,还探讨了集合范畴中共关系的性质。
- 周晓聪舒忠梅
- 共代数方法:研究状态和观察的数学理论被引量：2
- 2005年
- 作为代数的对偶概念,共代数概念在20世纪90年代中后期以来在国际上得到了理论计算机学界的广泛关注。对于计算机科学而言,代数从构造的角度考察数据类型的性质,而共代数则从观察的角度考察基于状态的系统的行为。本文以一个简单的例子介绍共代数方法这一理论计算机前沿领域的基本概念,并试图阐述该方法的意义和远景。
- 周晓聪王金陈
- 关键词：共代数代数方法数学理论计算机科学数据类型
- 基于Peer-to-Peer的主动视图维护模型研究
- 1引言实化视图是数据仓库(Data Warehouse,DW)中存储的主要信息实体,它将各分布式数据源的数据实体化。在一个典型的数据仓库系统中,数据源是由不同的信息提供者拥有,并且功能独立于其他
- 舒忠梅李师贤左亚尧周晓聪汤庸
- 关键词：PEER-TO-PEER
- 文献传递
