论文部分内容阅读
给定关系模式Ｒ和函数依赖集Ｆ，当Ｘ为Ｒ的一个真子集时，判定Ｘ关于Ｆ是否为Ｂｏｙｃｅ－Ｃｏｄｄ范式（以下简记为ＢＣＮＦ）是ＮＰ完全的，这一问题的难点在于Ｆ在Ｘ上投影的计算，本文给出了计算函数依赖集投影的一个实用算法，将其用于ＢＣＮＦ的判定，并在此基础上建立了ＢＣＮＦ的一个无损分解算法。
Boyce—Codd范式的判定与分解
【摘 要】
：
给定关系模式Ｒ和函数依赖集Ｆ，当Ｘ为Ｒ的一个真子集时，判定Ｘ关于Ｆ是否为Ｂｏｙｃｅ－Ｃｏｄｄ范式（以下简记为ＢＣＮＦ）是ＮＰ完全的，这一问题的难点在于Ｆ在Ｘ上投影的计算，本文给出了计算函数依赖集投影的一个实用算法，将其用于
【机 构】
：
复旦大学,同济大学
【出 处】
：
复旦学报：自然科学版
【发表日期】
：
1998年5期
其他文献
目的：探讨直肠癌前切除术术后并发吻合口漏的预防及治疗。方法：14例直肠癌前切除术术后并发吻合口漏病例皆经术中留置双腔引流、甲硝唑冲洗及全身抗感染、静脉营养等保守治疗。
执行力问题一直困扰着众多的管理者,尤其是直接决定了基层管理者目标的实现。经过对基层管理者执行力的创新性分析认为,影响基层管理者执行力的因素有来自基层管理者自身、执
目的：了解精神分裂症患者就诊现状及其影响因素。方法：采用白设问卷对219例精神分裂症患者进行调查，内容包括患者的一般情况、首次入院前就诊情况、出院后就诊情况、对精神分裂
利用多项式的特征空间理论，研究了齐次强拟凸域上的齐次主Ｈａｒｄｙ子模的分类，得到了以下主要结果，在一个具有光滑边界的齐次强拟凸域上，两个齐次主Ｈａｒｄｙ子模相似当且仅当相应的齐次多项式只相
多发性硬化(MS)是中枢神经系统呈脱髓鞘改变的一组临床疾病.病理改变的程度及临床表现的轻重并不一定完全一致,尤其是病理改变较广泛而不一定被一般的临床神经系统检查所发现
感应式无线电能传输(Inductive Power Transfer,IPT)技术利用电磁感应原理,可在一定距离内实现电能的高效可靠传输,具有安全方便、环境适应性强等优点,因此,无线电能传输技术在消费电子、医疗器械、电动汽车、以及轨道交通等领域中得到广泛的研究和应用。目前,大部分便携式设备以及电动汽车需要将传输的电能先储存在电池中,再利用电池对设备供电,所以其本质是实现对电池的无线充电。其中,锂离
1 病例介绍患者男,84岁.主因间断呕血、黑便伴腹胀10个月余,加重1天,于1998年1月27日入院.于入院前10个月无明显诱因突发呕血,在外院就诊,曾查B超示中等量腹水.无脾大,钡餐造
目的:探析致心律失常性右室心肌病心电图异常波形的特征。方法:收集2014年6月—2019年6月临床确诊的致心律失常性右室心肌病患者33例作为研究对象,分析其心电图异常波形的特
作者以辽宁省果树科学研究所已选育和引进的极早熟杏品种‘骆驼黄’、仁用杏新品种‘国仁’和‘丰仁’为试材,通过连续3年(2014—2016年)的田间定位试验,研究杏专用肥施用时
在现代企业的发展过程中,成本会计管理环节对企业的生产及经营等环节具有非常重要的意义。而利用价值工程的相关原理,对成本会计管理的内容及管理方式展开研究,更能够进一步