%0 Journal Article
%T A Fixpoint Semantics for Stratified Databases
%A Shen Yidong Deptof Computer Science
%A Chongqing University
%A Chongqing
%A
Shen
%A Yidong
%J 计算机科学技术学报
%D 1993
%I
%X Przymusinski extended the notion of stratified logic programs,developed by Apt,Blair and Walker,and by van Gelder,to stratified databases that allow both negative premises and disjunctive consequents.However,he did not provide a fixpoint theory for such class of databases.On the other hand,although a fixpoint semantics has been developed by Minker and Rajasekar for non-Horn logic programs,it is tantamount to traditional minimal model semantics which is not sufficient to capture the intended meaning of negation in the premises of clauses in stratified databases.In this paper,a fixpoint approach to stratified databases is developed,which corresponds with the perfect model semantics. Moreover,algorithms are proposed for computing the set of perfect models of a stratified database.
%K Stratified databases
%K fixpoints
%K perfect models
分层数据库
%K 分层逻辑程序
%K 定点语义学
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=0EE555B244EF86DB861F81A600AF891E&yid=D418FDC97F7C2EBA&vid=5D311CA918CA9A03&iid=0B39A22176CE99FB&sid=59906B3B2830C2C5&eid=659D3B06EBF534A7&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=0