球体约束的规范表达  

CANONICAL FORM IN SPHERE CONSTRAINT

作　　者：占学德[1] 

机构地区：[1]湖北民族学院财经系,湖北恩施445000

出　　处：《湖北民族学院学报（自然科学版）》2000年第2期67-69,共3页Journal of Hubei Minzu University(Natural Science Edition)

摘　　要：研究球体约束的规范表达。提出平面冗余、平凡线性冗余、半线性冗余三条新的规范原则,并给出了球体约束元组的规范算法。This paper introduces sphere constraint. The canonical form in sphere constraint is studied in the paper.The plane redundance, the ordinary linear redundance and the semilinear redundance,these form of sphere constraint tuple is defined.An algorithm to compute the canonical form for each sphere constraint tuple is presented.$$$$

关 键 词：约束数据库 球体约束 规范表达 关系数据模型 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]