依赖性公理及可导出性的判定问题

本文从关系数据库关于FD,FFD及MVD的基本定义出发,讨论了FD,MVD及FD-MVD的公理系。并给出了它们的基本性质,由此给出了两种依赖性的可导出性的判定方法。     

分布式关系数据库系统的数据分布与查询处理

本文讨论了分布式关系数据库系统设计的两个主要问题——数据分布和在分布的数据之上的查询处理,提出了适于处理复杂数据分布的方法和相应的数据结构——分解树,并在分解树的基础上对查询处理进行了讨论。     

第二届数据组织基础理论国际会议简况

这届会议由其组织委员会主办,由日本学术振兴会协办。后援单位还有一些,主要是日本的一些大学、公司和学会。会议于1985年5月22～24日在日本京都举行。与会代表约150人。开法和动向这届会议共分三个阶段进行。首先是国际组织委员会会议。国际组织委员会成员由日本、美国、加拿大、法国、波兰、中国等十三个国家和地区代表组成。主席为 IBM 研究所的 S.P.Ghosh 博士。国际组织委员会会议一般是正式会议前的例会。听取组织工作方面的汇报;对会议议程的认可;以及确定下届会议的时间、地点;通过下届会议的主席和国际组织委员会成员。协商决定下届会议将于1988年在法国巴黎举行。下届主席 C.Delobel 教授已向我们发出     

支持抽象数据类型的关系数据库系统的设计

抽象数据类型(ADT_s)是一个数据结构及其相关操作集的封装。本文把关系模型加以扩充,使其可将域任意地定义为抽象数据类型;在这些类型上可以定义原语操作,还可以定义聚集函数操作。本文还提出了将dbaseⅢ扩充为可支持ADT_s的设计思想,并给出了框图。文中提出的方法强调相关信息的局部性,可使得定义的新类型与原有DBMS的交互尽量少。     

分布式数据库技术

本文对分布式数据库技术诸如:体系结构、数据分布、查询、事务并发控制、恢复、数据库目录管理等主要方面给以概括。旨在对研制分布式数据库系统有一完整轮廓。无意对所有技术作全面的综合分析,只是从研制过程中的体会给出作者对各技术问题的看法。     

域与分布式数据库的语义完整性

到目前为止,无论人们讨论的还是已实现的分布式数据库系统,其数据模型往往是关系型的。属性定义只是基本数据类型(整数、实数、字符串等),语义上非法的值就可能被系统接收,破坏分布式数据库的语义完整性。本文提出:应用域,结合分布式数据库的片段技术保证分布式数据库的语义完整性。