%0 Journal Article
%T On Local StratifiabUity of Logic Programs and Databases
%A Shen Yidong Tong Fu Cheng Daijie
%A <br>Shen Yidong
%A Tong Fu
%A Cheng Daijie
%J 计算机科学技术学报
%D 1993
%I 
%X 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.
%K Deductive databases
%K logic programs
%K local stratifiability
%K verification
%K algorithms<br>
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=A78B1DD304331DD7D18154EE693980FF&yid=D418FDC97F7C2EBA&vid=5D311CA918CA9A03&iid=0B39A22176CE99FB&sid=38B194292C032A66&eid=708DD6B15D2464E8&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=0