石树刚
- 作品数：80 被引量：45H指数：3
- 供职机构：武汉大学计算机学院计算机科学系更多>>
- 发文基金：软件工程国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术天文地球更多>>
- 时态数据库的异常处理
- 本文从模式更新,数据纠正和时间推移等三个方面分析了时态数据库的异常表现,简单讨论了模式时态逻辑、演绎概念模型以及事件计数等方法处理时态信息的能力,从物理实现角度提出了一个处理时态信息的逻辑框架——内部事务版本控制模型,并...
- 余卫东石树刚郑振楣
- 文献传递
- 基于概率模型的统计数据库
- 统计数据库可建立在使用随机变量的概率模型之上,用泄密度和统计精度来表征它的性能,但它不可能既绝对安全又绝对精确(基于概率意义上)。经推广而得的变异概率模型安全性有所提高,但其统计精度相应有所损失。
- 陈红蔚石树刚郑振楣
- 文献传递
- 时态数据库的逻辑模型及其物理设计
- 时态DB是既支持有效时间又支持事务时间的DB。它表示的若干属性具有时态性。传统的数据模型(如:关系模型)不能表示时态属性的语义特性。本文根据时态数据的语义性质给出一异于传统数据模型的时态DB模型TempMod,它由三元组...
- 黄亚静石树刚郑振楣
- 文献传递
- DDDBS中的完整性维护
- 性约束是封闭的一阶合式，称IC合式。该文提出了一种在理论上和实现上都可靠的分布式演绎数据库系统（DDDBS）中无函数符号出现的完整性维护方 法。对实施完整性维护的效率方面作了一系列讨论，给出了一种新的检测策略来验证由更新...
- 胡春辉石树刚郑振楣
- 关键词：数据库分布型网络数据完整性分布式数据库
- SAMBASE中的空间查询处理
- 1996年
- SAMBASE是武汉大学计算机科学系数据库组研制开发的一个运行在SUN工作站UNix环境下的集中式多用户的面向对象数据库系统,最近的方向集中于地理信息系统的结合,因而要求具备强大的空间查询处理能力。
- 易文根韩波石树刚郑振楣
- 关键词：SAMBASE空间查询数据库
- 用变形的dd树实现DDBMS的查询处理
- 我们用数学方法对数据库进行了分析,提出了一种新的查询处理途径,将查询处理分两个层次:全局层和局部层,全局层仍以片段关系为处理对象,基本沿用已有的方法。全局层,我们提出动态半联接技术,克服了半联接的盲目性;局部层,我们采用...
- 梁意文石树刚郑振楣
- 文献传递
- 集成式演绎数据库系统的实现研究
- 本文讨论了集成逻辑语言和关系数据库系统形成演绎数据库的耦合过程,提出了"三层耦合"的概念,即逻辑层的耦合,功能层的耦合和物理层的耦合。
- 朱友祯石树刚郑振楣
- 关键词：数据库关系数据库演绎数据库
- 文献传递
- 重复副本的分布并发控制
- 1991年
- 本文讨论WDDBS-32的重复副本分布并发控制,提出并实现了分布2PL 算法。它将全局并发和局部并发分开,通过锁升级方法延迟锁冲突,提高了系统的并发度。结合AW 协议保证了重复副本控制。
- 石树刚郑振楣余卫东
- 关键词：分布式数据库并发控制
- SQL复杂查询到关系代数查询等价性的转换算法被引量：1
- 1991年
- 本文引入一种选择操作OSL,提出将SOL 查询转换为关系代数查询的新的转换算法。文中把SOL 查询分为两类:基本查询和扩展查询。算法的基本思想是把扩展查询先转换为基本查询,再将基本查询转换为关系代数查询,以消除复杂查询转换结果与原查询的不等价性。
- 石树刚郑振楣吕美玲
- 关键词：SQL语言关系代数查询
- 基于语义信息的集成的分布式查询处理算法被引量：1
- 1990年
- 本文利用一定的语义信息,以及半连接技术和片段处理(FP)技术,提出了目标为减少查询响应时间,适用于具有广播功能环境的集成的分布式查询处理算法。对用户呈交的交互式查询,用此算法可在很短的时间内产生查询处理策略,并可获得很短响应时间。
- 何亚原郑振楣石树刚
- 关键词：数据库查询处理算法语义信息
