论文部分内容阅读
本文给出了表的等价性判定的一些结果：三元可满足性问题，表达式的ＮＰ完全性，表的ＮＰ完全性，还给出了函数依赖对表的影响，强等价性的复杂性的一些讨论。为对表的进一步研究屯指出了方向。
表的等价性的NP完全性的讨论
【摘 要】
：
本文给出了表的等价性判定的一些结果：三元可满足性问题，表达式的ＮＰ完全性，表的ＮＰ完全性，还给出了函数依赖对表的影响，强等价性的复杂性的一些讨论。为对表的进一步研究屯指出了方向。
【机 构】
：
齐齐哈尔轻工学院
【出 处】
：
计算机研究与发展
【发表日期】
：
1996年10期
其他文献
本文介绍一个以DECnet-VAX计算机为主干的远程网络。开发研制内容包括NECACOS和其他异种机入网、文电处理、点对点终端实时会话、文件传送、NECPC－9801微机终端仿真等功能的综
患者,男,40岁。因＂恶心、呕吐、腹泻6小时＂就诊于某乡镇卫生院,予胃复安（盐酸甲氧氯普胺注射液）10 mg肌肉注射止呕。注射约15分钟后,患者突然出现烦躁不安,面肌抽动,头后仰,偏向
国家赔偿法在立法上将国家精神损害赔偿纳入到国家赔偿范围之内,这是一个历史性的突破,但由于没有规定具体赔偿规则导致实践中难以操作。在完善和构建国家精神损害赔偿的具体
目的：建立神经元和海马脑片缺氧缺糖(OGD)和NMDA损伤模型，观察抗炎药米诺环素的神经元保护作用及其作用特点。方法：体外培养大鼠脑皮层神经元以OGD和NMDA(50μmol／L)处理，观察损伤
目的:观察腹腔镜下子宫肌瘤剥除术中应用垂体后叶素的止血效果。方法:选择70例子宫肌壁间肌瘤行腹腔镜下子宫肌瘤剥除术的患者,随机分为治疗组和对照组各35例。治疗组采用垂
目的：探讨钡灌肠X线检查及CT扫描对结肠癌术前的诊断价值。方法：对28例经手术病理证实的结肠癌病例的钡灌肠及CT影像资料进行回顾性分析。结果：28例病例均行CT检查,其中24例还行
本文在分析了国内外有关技术后提出了一种新的数据库集成方法－基于ＥＥＲ模型的数据库集成方法。并给出了相应的数据库集成语言，它能够有效地解决数据库集成过程中发生的种类模式冲突
目的:通过在新生儿听力筛查中1113例听力筛查复筛未通过的转诊婴儿进行听力学评估,了解先天性听力损失的发生和听力损失程度构成情况。方法:检测人员、检测仪器符合卫生部《