论文部分内容阅读
本文研究了用替换方法求解候选关键字的理论和算法，并证明了该算法的正确性和完备性。
求候选关键字的替换算法及其正确性和完备性证明
【摘 要】
：
本文研究了用替换方法求解候选关键字的理论和算法，并证明了该算法的正确性和完备性。
【机 构】
：
江西师范大学计算机科学系
【出 处】
：
计算机学报
【发表日期】
：
1994年10期
【基金项目】
：
江西省重点科研项目
其他文献
直接的体绘制技术提供了在一幅图形内显示三维数据场各种信息的巨大潜力，然而，上成这样的图形是极其昂贵的，而且高质量图形的绘制远远达不到交互实现的水平．与光线投射方法每次独立地处理一条光线相比，体绘制的体元投影方法按一定的顺序逐一处理数据场内每。个体元．图形绘制的复杂性是Ｏ（ｎ）（ｎ是数据场体元个数，即三个方向长度的乘积）．体元投影方法引起人门极大的兴趣是因为在处理过程中充分地利用了体元的空间连贯性．
本文提出一种基于几何推理的参数化设计方法，该方法引入了已知元素，已知约束等新概念；通过扩展一般的图形数据结构统一表示几何元素与几何约束；基于普通算法而不是专家系统实现几
本文提出一种利用一幅透视图象重建对称形体的算法．通过对透视图中灭点位置分布规律的解析求出透视投影时视点的位置以及物体的对称平面后，即可唯一地确定物体上任意一对对称点的三维坐标．
本文在加上引进了关系分划，利用外延空间上的概率分布得到了证据的信任函数，并给出了证据合成的Ｄｅｍｐｓｔｅｒ－Ｓｈａｆｅｒ公式的简化计算方法及在专家系统中的应用。
目的分析及评价应用保守治疗、DHS、伽玛钉、人工关节量换治疗老年人股骨粗隆间骨折的方法及选择。方法应用上述方法治疗老年人粗隆间骨折共57例，年龄67-92岁，平均79岁。结果对
本文基于ＵＩＯ序列提出一种新的协议一致性测试生成方法－叠加回路方法，可以证明，这种方法在保证测试序列错误覆盖勇和的同时不仅降低了叠加转换序列的计算复杂性而且还大大缩短了测试
国庆节后交易首日．在国际大宗商品暴涨的影响下，国内大部份商品均出现暴涨甚至涨停．唯独豆粕与玉米不涨反跌．例外出现逆市下行走势。在宽松的货币政策下。全球资金泛滥，大宗商品投
目的分析拉米夫定对慢性乙肝的治疗效果。方法选择本院98例慢性乙型肝炎患者均分为治疗组和对照组,治疗组采用拉米夫定治疗,对照组给予常规保肝治疗。结果 2组治疗前后HBeAg
中非农业合作论坛8月12日在北京闭幕。中共中央政治局委员、国务院副总理回良玉出席闭幕式并作主旨发言。他对中非农业合作论坛首次举办取得丰硕成果表示祝贺，强调要继续加强