论文部分内容阅读
重点论述了DOOD中对象的方法查询，首先运用一组转换规则把以演绎对象语言（DOOL）表示的查询和相应的规则转换成Datalog中谓词的表达形式，然后构造Datalog方程，通过Datalog方程的最小不动点增量求解方法得到查询结果．
演绎对象数据库中查询的实现
【摘 要】
：
重点论述了DOOD中对象的方法查询，首先运用一组转换规则把以演绎对象语言（DOOL）表示的查询和相应的规则转换成Datalog中谓词的表达形式，然后构造Datalog方程，通过Datalog方程的最
【机 构】
：
山西大学计算机与信息技术学院
【出 处】
：
山西大学学报：自然科学版
【发表日期】
：
2006年1期
其他文献
目的:研究尿多酸肽(CDA-II)对乳腺癌细胞增殖的抑制作用.方法:将CDA-II与乳腺癌细胞株MCF-7和MDA-MB-231进行体外培养,观察CDA-II对乳腺癌细胞生长曲线及形态学等方面的影响.
老年性痴呆(Alzheimer's disease, AD)是一种神经退行性疾病,其动物模型的建立对于AD的防治研究起重要作用.虽然AD动物模型的研究取得了阶段性的进展,但一个理想的动物模
以串珠藻目的16个分类单位加上外类群作为研究对象,选取18个性状作为研究基础,得到18×17的数值矩阵,以分支分类学的方法对串珠藻目的系统发育过程进行分析.采用4种方法
目的:研究新型抗高血压药物盐酸埃他卡林(Ipt)对小动脉的作用特性及其药理学机制.方法:采用大鼠尾动脉螺旋状血管条和主动脉离体血管环两种组织,对比观察盐酸埃他卡林对大、
利用算子方程的一些抽象结果来讨论四阶奇异边值问题．在非线性项f满足一定备件时，得到λ∈E（0，＋∞），使得当λ∈E（0，λ）时，问题至少有两个正解；当λ=λ时，至少有一个正解；λ〉λ时，没有正解．