论文部分内容阅读
文中研究了约束数据库中线性序约束关系的规范表达。提出一种线性序约束元组的表结构规约形式，增加了线性冗余和变量可约减两条新的规约原则，并给线性序元组规约算法ＬＣＴＲＡ，探讨了绝对点语义和复杂对象语言下线性序约束关系的规范型。
线性序约束的规范表达
【摘 要】
：
文中研究了约束数据库中线性序约束关系的规范表达。提出一种线性序约束元组的表结构规约形式，增加了线性冗余和变量可约减两条新的规约原则，并给线性序元组规约算法ＬＣＴＲＡ，探讨了绝对
【机 构】
：
复旦大学计算机科学系
【出 处】
：
计算机研究与发展
【发表日期】
：
1999年2期
【基金项目】
：
国家自然科学基金
其他文献
保护方式下的异常与中断管理是微处理器设计的重要组成部分，文中探讨了异常与中断的数据结构、定义，表，给出了保护方式下的异常与中断管理算法；提出了异常／中断管理单元（ＥＩＭＵ）的细胞群结
【正】 西北大学出版社1987年12月出版了《世界近代史教程》和《世界近代史基本问题》。《世界近代史教程》由彭树智主编,施清、刘俊明副主编,共40万字。它是在1986年出版的
心声那一夜,淡淡的月光洒了一地。徐徐晚风吹来,仿佛在诉说着夜的宁静。我如约打开了屋子的灯光。这是个适合看书的夜晚,揣着一股欢喜和激动,我再一次翻开了《中学生时代》。
采用常规石蜡切片技术对人工养殖银鲳的性腺发育情况进行了研究。结果表明，在1-2月龄，养殖银鲳精巢处于第1期；3-4月龄发育至第Ⅱ期；5月龄时发育至第Ⅲ期；6月龄时发育到第Ⅳ期；在7月
神经生理学的实验事实指出：感觉神经元仅对事物属性作分类检测和只有将各属性的感觉映像重新整合起来，才能形成对象记忆模式。据此，文中对按模式记忆理论给予数学描述，认为：属性抽
尽管三苯基锡（triphenyhin,TPT）能够影响鱼类生殖功能以及性腺的发育,但其作用机制并不十分清楚.由于鱼脑在生殖调控中具有重要作用,本研究以海洋鱼类褐菖鲉（Sebastiscus mamror
文中介绍了基于ｓｏｃｋｅｔｓ的ＥＤＩ通信平台的设计与实现，并阐述了基于ｓｏｃｋｅｔｓ接口编程的方法。
视频内容的分类是归纳、理解、检索视频数据的一个重要环节.现有的很多视频分类方法大都采用隐马尔科夫模型(HMM)理论,但是利用HMM模型处理视频数据有其固有的局限性.为了解
利用线粒体控制区序列研究了条石鲷养殖群体的遗传多样性水平和遗传结构。通过PCR扩增与序列测定获得了长度为469 bp的线粒体控制区基因片段,在30个个体中共发现27处碱基变异