We use cookies to improve your experience with our site.
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.
Citation: 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.

On Local StratifiabUity of Logic Programs and Databases

  • 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.
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return