Based on the study of the current two methods—interpretation and compilation—for the integration of logic programming and relational database,a new precompilation-based interpretive approach is proposed.It inherits ...Based on the study of the current two methods—interpretation and compilation—for the integration of logic programming and relational database,a new precompilation-based interpretive approach is proposed.It inherits the advantages of both methods,but overcomes the drawbacks of theirs.A new integrated system based on this approach is presented,which has been implemented on Micro VAX Ⅱ and applied to practise as the kernel of the GKBMS knowledge base management system.Also discussed are the key implementation techniques,including the coupling of logic and relational database systems,the compound of logic and relational database languages,the partial evaluation and static optimization of user's programs,fact scheduling and version management in problem-solving.展开更多
In this paper,we deal with the problem of verifying local stratifiability of logic programs and databases presented by Przymusinski.Necessary and sufficient conditions for the local stratifiability of logic programs a...In this paper,we deal with the problem of verifying local stratifiability of logic programs and databases presented by Przymusinski.Necessary and sufficient conditions for the local stratifiability of logic programs are presented and algorithms for performing the verification are developed.Finally,we prove that a database DB containing clauses with disjunctive consequents can be easily converted into a logic program P such that DB is locally stratified iff P is locally stratified.展开更多
使用DBLP(database systems and logic programming)提供的文献索引作为原始数据,对计算机及其相关领域合作发表论文形成的科研合作网络进行了研究.通过解析xml元数据,构建DBL,P科研合作网络拓扑并计算其网络拓扑常规参数,分析了若干参...使用DBLP(database systems and logic programming)提供的文献索引作为原始数据,对计算机及其相关领域合作发表论文形成的科研合作网络进行了研究.通过解析xml元数据,构建DBL,P科研合作网络拓扑并计算其网络拓扑常规参数,分析了若干参数的统计特征,发现DBLP科研合作网络是小世界网络,但无标度特性不明显;该科研合作网络的中心与边缘拓扑反映不同的科研合作模式;DBLP复杂网络的k核与科学家的h-指数并无强相关性.最后使用观察结果讨论了复杂网络的研究发展及本实验室在计算机相关领域的学术定位情况.展开更多
文摘Based on the study of the current two methods—interpretation and compilation—for the integration of logic programming and relational database,a new precompilation-based interpretive approach is proposed.It inherits the advantages of both methods,but overcomes the drawbacks of theirs.A new integrated system based on this approach is presented,which has been implemented on Micro VAX Ⅱ and applied to practise as the kernel of the GKBMS knowledge base management system.Also discussed are the key implementation techniques,including the coupling of logic and relational database systems,the compound of logic and relational database languages,the partial evaluation and static optimization of user's programs,fact scheduling and version management in problem-solving.
基金Supported by the National Natural Science Foundation of China.
文摘In this paper,we deal with the problem of verifying local stratifiability of logic programs and databases presented by Przymusinski.Necessary and sufficient conditions for the local stratifiability of logic programs are presented and algorithms for performing the verification are developed.Finally,we prove that a database DB containing clauses with disjunctive consequents can be easily converted into a logic program P such that DB is locally stratified iff P is locally stratified.
文摘使用DBLP(database systems and logic programming)提供的文献索引作为原始数据,对计算机及其相关领域合作发表论文形成的科研合作网络进行了研究.通过解析xml元数据,构建DBL,P科研合作网络拓扑并计算其网络拓扑常规参数,分析了若干参数的统计特征,发现DBLP科研合作网络是小世界网络,但无标度特性不明显;该科研合作网络的中心与边缘拓扑反映不同的科研合作模式;DBLP复杂网络的k核与科学家的h-指数并无强相关性.最后使用观察结果讨论了复杂网络的研究发展及本实验室在计算机相关领域的学术定位情况.
