A. J. Bonner and M. Kifer. An Overview of Transaction logic programming. To appear in Theoretical Computer Science, 1994. Other papers on the subject are available in pub/bonner/transaction.logic byanonymous ftp to db.toronto.edu. 30  Home/Search   Document Not in Database   Summary   Related Articles

....within. For instance, Glue Nail [21] separates the query language from the update language. However, the most interesting languages and systems are those that integrate the query and update languages, for example, Dynamic logic programming (DLP) 41] LDL [43] transaction logic programming (T R ) [14], Declarative Languages (DL) 3] and RDL1 [20] Languages, providing integrated query and update facilities, can in turn be classified depending on whether updates are defined in the rule bodies (DLP, LDL and TR ) or in the rule heads (DL and RDL1) These two approaches were developed with ....

....respect to DLP, LDL and TR is that updates are collected as side effects of the query answering process, while in the other approaches they are executed as side effects of the query answering process. To highlightthis difference compare the execution of Example 3.1 with that of Example 2. 4 in [14]. 10 3.1 Computational Model Non immediate update semantics is based on marking and update phases. The marking phase models the query answering process. Query answering process can be performed either top down or bottom up. In the case of updates in the bodies, the top down interpretation of a ....

[Article contains additional citation context not shown here]

A. J. Bonner and M. Kifer. An Overview of Transaction logic programming. To appear in Theoretical Computer Science, 1994. Other papers on the subject are available in pub/bonner/transaction.logic byanonymous ftp to db.toronto.edu. 30

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC