We use cookies to improve your experience with our site.
Shi Baile, Zhou Aoying. Bottom-up Evaluation of Datalog with Negation[J]. Journal of Computer Science and Technology, 1994, 9(3): 229-244.
Citation: Shi Baile, Zhou Aoying. Bottom-up Evaluation of Datalog with Negation[J]. Journal of Computer Science and Technology, 1994, 9(3): 229-244.

Bottom-up Evaluation of Datalog with Negation

  • Declarative semantics gives the meaning of a logic program in terms of properties,while the procedural semantics gives the meaning in terms of the execution or evalua-tion of the program. From the database point of view, the procedural semantics of theprogram is equally important. This paper focuses on the study of the bottom-up eval-uation of the WFM semantics of datalog- programs. To compute the WFM, first, thestability transformation is revisited, and a new operator Op and its fixpoint are defined.Based …
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return