We use cookies to improve your experience with our site.
Shen Yidong. A Fixpoint Semantics for Stratified Databases[J]. Journal of Computer Science and Technology, 1993, 8(2): 12-21.
Citation: Shen Yidong. A Fixpoint Semantics for Stratified Databases[J]. Journal of Computer Science and Technology, 1993, 8(2): 12-21.

A Fixpoint Semantics for Stratified Databases

  • 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 negat…
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return