作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

›› 1995, Vol. 21 ›› Issue (04): 31-36.

• 论文 • 上一篇    下一篇

检查复杂分片模式完整性的有效算法

周娅,楼荣生   

  1. 复旦大学计算机科学系
  • 发布日期:1995-08-25

An Effective Algorithm Checking the Completeness of a Complex Fragmentation Schema

  • Published:1995-08-25

摘要: 对MeghiniC和ThanosC在《TheComplexityofoperationsonaFragmentedRelation》一文中提出的检查复杂分片模式完整性的算法表示疑问,提出算法失败的一个反倒,并对原算法进行修改,证明其正确性。

关键词: 分片模式,分片属性,元组,划分类,划分谓词,满足集,划分模式

中图分类号: