空值环境下广义连接依赖及推导规则的研究

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:weihan0533
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文给出了空值环境下广义连接依赖强保持,弱保持的概念。讨论了它们的推导规则,证明了各推导规则在强保持,弱保持条件下的存在性,以及相应的完备性结论。
其他文献
2005年8月东岳村在汽配城的基建施工中,发现了两座古墓葬,我所接到报告后,迅速组织力量前往现场进行抢救性发掘,经清理为两座三国至两晋时期的墓葬。
林丽珠教授认为,鼻咽癌属中医古籍“颃颡岩”范畴。根据经脉络属关系,认为其发病涉及肝、肺二脏,病机首责邪热犯肺,肝郁痰凝。治则上重视宣肺清热,疏肝理气,而论治上提倡中西医结合
佛教是世界性的三大宗教之一,汉代时传入中国,并与博大精深的中华文化相结合,成为中华文化中的一个重要的组成部分。北宋词人柳永曾写过一首和杭州有关的词《望海潮》,词日:&
目的:探讨健脾益肠散合固本保元腹袋治疗溃疡性结肠炎(UC)的临床疗效及作用机制。方法:将UC患者118例随机分为治疗组60例和对照组58例,治疗组口服健脾益肠散和脐敷固本保元腹袋;
目的探讨自拟中药方对寻常型银屑病患者外周血Th17细胞相关细胞因子的影响。方法分析我科2013年4月—2015年4月收治的20例银屑病患者,采用自拟中药方治疗,检测治疗前后Th17细
语境对隐喻的产生和理解起重要的作用.隐喻的出现与语境因素有关.隐喻的理解受语境信息数量和质量的影响.
笔者曾在《杭州文博》第四期上发表过《飞来峰隋神尼舍利塔考证》一文,为更好地挖掘该塔的历史文化内涵,现对此塔建造的历史背景、形制、存毁时段等再作进一步考证,补充如下
历史不会重演,但有时却惊人相似。比如北宋之于西晋,同样是国亡家破,中原沧海横流;二帝蒙尘,百姓南奔如潮。又如继起的南宋之于东晋,同样是山河半壁,多少人壮怀激烈,为之慷慨
腧穴诊察即通过望诊、问诊、切诊观察腧穴的阳性反应,诊疗或协助诊疗疾病的一种经典针灸诊断方法,可用来确定穴位、用于诊病、指导临床、分析预后。临床上运用较多的是穴位压
西湖景观的形成与有机演变过程,历经唐、宋、元、明、清各朝直至今天,可谓一脉相传。在上千年的历史发展过程中,催生了众多以西湖景观为主题的书画作品。本文采用对应分析的