论文部分内容阅读
该文提出了一种分布数据库的形式化描述，表示如何将分布式数据库的全局操作变为局部操作。这种形式化描述可以作为描述全局层与局部层操作转换的工具，也可以作为分布式程序语言的起点。从实用化角度来说，也可以作为一般的D—DBMS操作部分实现的设计工具。（本刊录）
分布式数据库操作的形式化描述
【摘 要】
：
该文提出了一种分布数据库的形式化描述，表示如何将分布式数据库的全局操作变为局部操作。这种形式化描述可以作为描述全局层与局部层操作转换的工具，也可以作为分布式程序语言
【机 构】
：
国防科学技术大学
【出 处】
：
中国计算机学会全国第五届数据库与第一届管理信息学术会议
【发表日期】
：
1986年期
其他文献
该文介绍了一个由作者研制的树型关系数据库机TDM的并行操作算法。TDM具有通过共享存贮器而紧密耦合的多机结构。在该系统中，数据库经划分后被分布存放于系统的多个磁盘上。据
通过比较基于时间印法和封锁的并发控制方法，提出了时间片法和冲突分析相结合的并发控制方法，以制约条件和激发条件来代替锁，防止了死锁。和一般的封锁相比，没有增加通讯量，但由于
［１］，［２］，［３］，［４］的基础上，借助定义并研究一种完备的特征值集合，来研究不等式合取查询的极小化问题。