| 线性序约束的规范表达 |
| |
| 引用本文： | 范志新,施伯乐.线性序约束的规范表达[J].计算机研究与发展,1999,36(2):209-213. |
| |
| 作者姓名： | 范志新 施伯乐 |
| |
| 作者单位： | 复旦大学计算机科学系 |
| |
| 摘 要： | 文中研究了约束数据库中线性序约束关系的规范表达。提出一种线性序约束元组的表结构规约形式，增加了线性冗余和变量可约减两条新的规约原则，并给线性序元组规约算法ＬＣＴＲＡ，探讨了绝对点语义和复杂对象语言下线性序约束关系的规范型。
|
| 关 键 词： | 约束数据库 约性序约束 规范表达 数据库 |
CANONICAL FORM IN DENSE LINEAR ORDER CONSTRAINT RELATIONS |
| |
| FAN Zhi-Xin and SHI Bo-Le.CANONICAL FORM IN DENSE LINEAR ORDER CONSTRAINT RELATIONS[J].Journal of Computer Research and Development,1999,36(2):209-213. |
| |
| Authors: | FAN Zhi-Xin and SHI Bo-Le |
| |
| Affiliation: | FAN Zhi-Xin and SHI Bo-Le;( |
| |
| Abstract: | The constraint representation in dense linear order constraint databases is studied in the paper.The notion of linear constraint tuple reduction form is defined,and a table representation of linear constraint tuples and an algorithm of linear tuple normalization are given.Various types of linear constraint relation are proposed under abstract point semantic and complex object semantic. |
| |
| Keywords: | constraint database linear order constraint canonical form |
| 本文献已被 CNKI 维普 等数据库收录！ |
