检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]山西大学计算机与信息技术学院,山西太原030006
出 处:《山西大学学报(自然科学版)》2006年第1期26-29,共4页Journal of Shanxi University(Natural Science Edition)
摘 要:重点论述了DOOD中对象的方法查询,首先运用一组转换规则把以演绎对象语言(DOOL)表示的查询和相应的规则转换成D ata log中谓词的表达形式,然后构造D ata log方程,通过D ata log方程的最小不动点增量求解方法得到查询结果.The methods queries of objects in DOOD was discussed. First it translates queries and corresponding rules in DOOL to the counterpart which is expressed in the form of Datalog predicates. Then it constructs Datalog equation, and gets the query result through the minimum fixed point increment method of Datalog equaiton.
关 键 词:演绎对象数据库 查询 DATALOG 最小不动点
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.178