论文部分内容阅读
文中通过对关系模式中的属性进行适当的分类，讨论了一个属性成为主属性应该满足的条件，并在文献「４」、「５」「６」的基础上，采用闭包，实现了利用Ａｒｍｓｔｒｏｎｇ公理进行函数信赖推导的过程，从而给出了一个简便的求解关系模式全部主属性的多项式时间算法。
基于闭包的关系模式全部主属性的多项式时间算法
【摘 要】
：
文中通过对关系模式中的属性进行适当的分类，讨论了一个属性成为主属性应该满足的条件，并在文献「４」、「５」「６」的基础上，采用闭包，实现了利用Ａｒｍｓｔｒｏｎｇ公理进行函数信赖推导的过程，从而给出
【机 构】
：
东南大学自动控制系
【出 处】
：
计算机研究与发展
【发表日期】
：
1998年4期
其他文献
国内异地引进种用动物及产品检疫审批是《动物防疫法》和重新修订的《动物检疫管理办法》确定的一项重要动物检疫制度。通过实施检疫审批．可以根据已掌握的输出地区的动物疫情
强化学习－词来自于行为心理学，这门学科把行为学习看成反复试验的过程，从而把环境状态映射成相应的动作。在设计智能机器人过程中，如何来实现行为主义的思想、在与环境的交互中学
多媒体同步的一个主要问题是多媒体同步时间要求的描述与建模。文中基于时间流Ｐｅｔｒｉ网模型（ＴＳＰＮ），通过分析ＴＳＰＮ模型的不足之处，提出了一种新的多媒体同步模型－－扩展时间流Ｐｅｔｒｉ网模型（ＳＴＳＰＮ），ＳＴＳＰＮ不但可以完全、准
多媒体处理经常包括许多乘加操作.给出了一种新型的适用于多媒体处理器的MAC单元的设计,它用两个8b×8b的乘法器来完成3种不同字长情况下的乘加操作:第1种情况是16b×
<正> 锈斑蟳(Charybdis feriatus)俗称红花蟹,隶属于十足目、梭子蟹科、蟳属,我国广西、广东、海南、福建均有分布,是我国大型海产蟹类之一。锈斑蟳已成为海鲜宴席上的美味佳
<正> 启东市有长满大米草的高潮区淤泥质滩涂3万多亩,而且每年都以一定的速度向外延伸。为了充分开发利用这块滩涂,我们于1997年开始进行低坝高网蓄水养殖锯缘青蟹和三疣梭子
根据GenBank登陆的新城疫病毒P基因序列。设计了一对引物。用RT—PCR技术对新城疫病毒内蒙古分离株TL1的P基因进行了扩增。将扩增产物提纯后克隆入pGEM—Teasy载体，通过酶切、