曲云尧
- 作品数:15 被引量:12H指数:2
- 供职机构:复旦大学信息科学与工程学院计算机科学系更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划煤炭科学基金更多>>
- 相关领域:自动化与计算机技术自然科学总论更多>>
- 一种大型词组库的设计与实现
- 1992年
- 曲云尧王海东
- 关键词:词组库程序设计FOXBASE数据库
- 约束数据库中的索引被引量:1
- 1997年
- 本文研究了约束数据库中的索引技术,提出了存储区间常数刺穿集的数据结构S树和S树.在刺穿集的最大长度受到限制的条件下,S树存储效率是最优的.与M树相比,S树和S树有一个明显的改进:可以支持删除操作.
- 王宇君田增平曲云尧施伯乐
- 关键词:约束数据库索引B+树数据结构
- 基于语义传递的分层事务调度技术的研究被引量:1
- 1997年
- 传统的读写事务模型是面向机器的,即事务的每个操作都是对数据库的存取操作,并且事务只有两层:逻辑层和物理层;逻辑层描述对逻辑数据的操作,如对记录的修改、查询等.物理层是描述对磁盘页面的操作.因此,它不能有效地描述应用程序的语义.本文提出了一个3层事务模型,在传统事务模型的基础上增加了一个语义层,该层能有效地描述应用环境的各种语义,为事务处理提供语义信息.同时设计了基于这种事务模型的并发控制机制,该机制能利用事务语义层的语义,对低层调度进行指导,即把高层操作的语义传递到低层,从而减少在低层调度的冲突机会.本文的调度协议ML-protocol可进行3种语义的传递:可并行、可交换、冲突.ML-protocol产生的调度是可串行化的.
- 曲云尧施伯乐
- 关键词:数据库事务处理并发控制
- 煤矿设备配件管理系统的设计与开发
- 1993年
- 本文介绍了煤矿设备配件管理系统的总体设计与开发。着重讨论了功能模块的划分方法及在开发本系统时所采用的各种技术.这些技术对煤矿管理信息系统的开发有着一定的指导作用.
- 曲云尧
- 关键词:管理信息系统煤矿软件开发
- 面向对象数据模型的研究被引量:3
- 1996年
- 由于面向对象技术缺乏坚实的理论基础,因而在早期的各种面向对象数据模型中对对象概念的表达和使用都有差异。本文研究了以往提出的多种面向对象数据模型,讨论了对象、类型、继承和方法等基本面向对象概念在这些模型中的表达和使用,说明了面向对象数据模型研究中尚待解决的问题,为进一步研究面向对象数据模型的形式化理论奠定基础。
- 田增平曲云尧汪卫施伯乐
- 关键词:面向对象数据模型数据库系统
- 支持原型法的MIS开发技术被引量:1
- 1992年
- 本文讨论了用快速原型法开发煤矿管理信息系统(MIS)的方法与技术,主要论述了数据库设计技术,友好用户界面开发技术,以及动态表格生成技术。
- 曲云尧贺国平胡江云
- 关键词:数据库接口信息管理人-机接口
- F-logic语言表达能力的研究被引量:1
- 1997年
- F-logic语言是一种基于框架逻辑的逻辑数据语言,它在表示面向对象的特征方面具有较强的能力,但是讨论其操作复杂对象能力的工作还不多见.本文比较了以COL,(complexobjectlanguage)为代表的逻辑数据语言与F-logic语言操作复杂对象的能力.通过两对保持语义的变换,能够将F-logic程序及其Herbrand解释与COL,程序及其Herbrand解释互相转变,且保持程序在相应解释下的真值性质.最后,讨论了否定的影响.本文的工作说明:在不考虑F-logic语言oid生成影响的情况下,F-logic语言与COL,LDL1和ELPS等逻辑数据语言在操作复杂对象方面具有相同的能力.
- 田增平王宇君曲云尧施伯乐
- 关键词:面向对象
- 多视图环境
- 1993年
- 给出了一种安全视图,它有三个良好性质;(1)系统可正确完成视图上的操作,(2)不在数据库产生冗余信息,(3)不丢失数据库中的有用信息.然后,把这种视图扩充到多视图环境,研究了视图之间的相互作用,给出了它们之间互不干扰的条件,从而保证了多视图环境的安全、可靠与稳定。
- 曲云尧
- 关键词:视图数据库人-机接口数据相关
- 数据库系统中死锁处理的研究
- 1992年
- 本文给出了一种无夭折事务的死锁处理方法,由于这类死锁是由只读(查询)事务的参于而引起的,而在实际中只读事务往往占绝大多数,所以本方法将在很大程度上提高系统的事务处理效率。
- 曲云尧
- 关键词:数据库计算机死锁
- 动态数据库中的并发控制方法
- 1993年
- 本文给出了动态数据库中的一种并发控制方法。作者以SQL语言为背景,给出了面向操作条件的事务定义;设计了基于二段锁(2PL)的并发控制方法:Condi-tion-Locking-Rule,此方法可以有效地解决动态数据库中的幽灵(Phantom)问题,从而使并发控制机制进一步实用化。
- 曲云尧
- 关键词:并发控制数据库动态数据库