论文部分内容阅读
针对ＥＲＬ描述的语义种类不齐全的问题，在ＥＲＬ已能处理的语义约束之处，又给出了聚集语义、覆盖语义的描述和可满足性的判定方法。
面向对象数据模型中聚集语义和覆盖语义的ERL语言描述
【摘 要】
：
针对ＥＲＬ描述的语义种类不齐全的问题，在ＥＲＬ已能处理的语义约束之处，又给出了聚集语义、覆盖语义的描述和可满足性的判定方法。
【机 构】
：
云南大学计算机科学系
【出 处】
：
云南大学学报：自然科学版
【发表日期】
：
2000年1期
【基金项目】
：
国家自然科学基金!资助项目 ( 6 976 3 0 0 3 ),,云南省自然科学基金!资助项目 ( 97F0 14M )
其他文献
研究了人工栽培的短葶飞蓬4月龄、开花前期和开花期植株及草地和疏林下野生植株的光合生理生态特征.晴天,光合日进程曲线呈"双峰”曲线型,"午睡”现象明显.强光下光合作用"午
纳米TiO2是目前最受人们关注的光催化剂之一.介绍了纳米技术在水污染控制中的应用进展情况,并对其应用前景作了展望.
2009年1月～2010年5月,笔者对6例胫腓骨多段粉粹性骨折患者采用锁定钢板小切口内固定治疗,取得较好的效果。1材料与方法1.1病例资料本组6例,男5例,女1例,年龄38～64岁。均为闭合
基于Hoskins位涡理论思想从等压面位涡守恒和湿等熵位涡守恒的角度来研究对流层高层位涡扰动对低层西南涡的发生发展影响,发现对流层高层位涡扰动是影响西南涡发生发展的重要
分析了利用自相关函数法实现快速识别随机音频信号,介绍一种用计算机实现随机音频信号处理与模式识别的硬件结构和程序设计.
2003年6月～2007年12月，我们采用经皮撬拨复位治疗跟骨骨折22例，疗效满意。
通过以1950－1989年有关的资料系列进行分析后，首次研究和报道了中国大气臭层变化、太阳活动与流行性脑脊髓膜炎（ECM）及人间鼠疫（HP）两类传染病发病率流行周期特征之间的关系，研究结
以水稻成熟种子的愈伤组织为受体,采用基因枪法将AGP基因导入水稻细胞,通过组织培养和抗性筛选,得到了转基因植株.转基因植株总DNA的PCR分析初步表明,目的基因已整合到水稻的
基因芯片是指将大量核酸片段探针以预先设计的方式固定在载玻片、尼龙膜等载体上组成密集的分子阵列,能1次检测大量的目标分子,在研究基因表达、发现新基因、疾病诊断、DNA测