徐建礼
- 作品数：4 被引量：9H指数：1
- 供职机构：中国科学院数学与系统科学研究院数学研究所更多>>
- 发文基金：国家自然科学基金中国科学院院长基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 推理式分布数据库管理系统T-POREL及其实现被引量：1
- 1992年
- 一、引言演绎数据库是 AI、逻辑程序设计和 DB 技术相结合的一种具有演绎推理能力的数据库系统,在过去十几年里,经历了迅速全面的发展。由于它具有集人工智能、逻辑程序设计和数据库技术的实用性研究结果于一身的特点,已成为数据库技术中最受重视的前沿研究领域之一。演绎数据库的实现是近年来人们普遍重视的研究课题。Prolog 语言在演绎数据库的实现中占有重要地位。Prolog 把数据库与程序设计语言在形式上达到了完全和自然的统一,既可作为实现演绎数据库的基本工具,又能直接用于与 DBMS
- 高全泉柴兴无徐建礼周为群周龙骧
- 关键词：分布数据库
- 分布式数据库管理系统C-POREL之回顾(1)
- 1992年
- 本文回顾了分布式数据库管理系统 C-POREL 的十年研制过程,介绍了 C-POREL 的设计思想及其演变。通过 C-POREL 与国际著名先驱系统的比较,指出了 C-POREL 的特色,分析和探讨了 C-POREL 的实现策略,并讨论了它的测试支撑环境的设计、实现以及一般并发系统问题。
- 周龙骧柴兴无徐建礼周为群刘旭
- 关键词：并发系统并发控制支撑环境子进程事务调度
- 基于图文法的并发系统状态测试方法及其实现被引量：8
- 1996年
- 在并发系统的研究和开发中，迫切需要一种能正确有效地描述并发系统的动态进程互联结构、动态进程通信和进程演化行为的形式化方法以及基于这种形式化方法的并发系统动态状态的测试手段．本文介绍一种基于图文法模型的并发系统状态测试方法，该方法与描述并发系统结构和行为的图文法模型相结合，构成了一个并发系统开发支持环境．这一方法可根据对并发系统的状态测试要求，在并发系统的运行期自动跟踪和记录并发系统的运行状态和通信情况，使并发系统的开发者可以实时地得到并发系统的运行状态。
- 徐建礼周龙骧
- 关键词：并发系统图文法软件开发
- 分布式数据库管理系统C-POREL之回顾(2)
- 1992年
- 七、C-POREL 的编译子系统 NUA和 NOAC-POREL 的用户接口语言是 RDBL,即关系数据库语言的缩写,是一种类 SQL 语言。简言之它包含了 SQL 的功能且格式也类似。RDBL 的编译分为两个层次:离网分析NUA 和涉网分析 NOA。用户事务经编译后生成中间语言 RML 表示的 RML 事务。RML 是关系机器语言的缩写,意为由软件实现的关系数据库机器上的关系机器语言,它为面向代数的非过程数据库语言,形式为四元式。7.1 (?)网分析层 NUANUA 子系统的功能是将 RDBL 事务(来自关系用户接口层的纯 RDBL 事务或来自预编译模块从 RDBL+PASCAL 程序分离出来的非纯 RDBL 事务)进行编译生成 RML 事务,
- 周龙骧柴兴无徐建礼周为群刘旭
- 关键词：分布式数据库
