| On Local StratifiabUity of Logic Programs and Databases |
| |
| 作者姓名： | Shen Yidong Tong Fu Cheng Daijie |
| |
| 作者单位： | Department of Computer Science Chongqing University，Chongqing 630044，Department of Computer Science，Chongqing University，Chongqing 630044，Department of Computer Science，Chongqing University，Chongqing 630044 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China. |
| |
| 摘 要： | In this paper,we deal with the problem of verifying local stratifiability of logic programs anddatabases presented by Przymusinski.Necessary and sufficient conditions for the local stratifiability oflogic programs are presented and algorithms for performing the verification are developed.Finally,weprove that a database DB containing clauses with disjunctive consequents can be easily converted into alogic program P such that DB is locally stratified iff P is locally stratified.
|
On Local StratifiabUity of Logic Programs and Databases |
| |
| Shen Yidong,Tong Fu,Cheng Daijie.On Local StratifiabUity of Logic Programs and Databases[J].Journal of Computer Science and Technology,1993,8(2):3-11. |
| |
| Authors: | Shen Yidong Tong Fu Cheng Daijie |
| |
| Affiliation: | Department; Computer; Science; Chongqing; University; 630044; |
| |
| Abstract: | 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. |
| |
| Keywords: | Deductive databases logic programs local stratifiability verification algorithms |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载全文 |
