| J. Widom, "A Denotational Semantics for the Starbust Production Rule Language," SIGMOD Record, vol. 21, no. 3, pp. 4--9, September 1992. |
....present a brief overview of how the problem of defining a semantics for active database systems has been addressed in the literature. We refer the interested reader to [34] for a more detailed overview. An approach to the definition of a semantics which is the most similar to ours is described in [35] and proposes a denotational semantics for the Starbust system. As in our approach, the semantics is seen as a function which maps a transaction and the current database state into a resulting state. The main limitation of these semantics is that it is tightly bound to the Starbust execution ....
J. Widom, "A Denotational Semantics for the Starbust Production Rule Language," SIGMOD Record, vol. 21, no. 3, pp. 4--9, September 1992.
....and the execution model. In the following we present a brief overview of how the problem of defining a semantics in the active database systems has been addressed. We refer the interested reader to [35] for a complete overview. The more similar approach to our way of proceeding is described in [38]. There a denotational semantics for the Starbust system is formalized. As in our approach, the semantics is seen as a function which maps a transaction and the current database state in a resulting state. The main limitation of these semantics is that it is tightly bound to the Starbust execution ....
J. Widom. A Denotational Semantics for the Starbust Production Rule Language. SIGMOD Record, 21(3):4--9, September 1992.
....triggered by the invocation of transactions, which sets no priorities on the triggered actions, and which executes triggered actions immediately. It is not hard to program more sophisticated systems. The use of database programming languages to model active database systems has been discussed in [21, 32]. In those attempts, the underlying semantics is denotational. There are two main reasons for using T R to specify active database features and implementations. First, T R provides a complete formalization (including a model and a proof theory) for the behavior of the system. Second, T R has one ....
J. Widom. A denotational semantics for the starbust production rule language. ACM SIGMOD Record, 21(3):4--9, 1992.
....system that sets no priorities on the triggered actions, and which executes triggered actions immediately. It is not hard to program more sophisticated systems. 3 DATABASE APPLICATIONS 14 The use of database programming languages to model active database systems has been discussed in [20, 31]. In those attempts, the underlying semantics is denotational. There are two main reasons for using T R to specify active database features and implementations. First, T R provides a complete formalization (including a model and a proof theory) for the behavior of the system. Second, T R has one ....
J. Widom. A denotational semantics for the starbust production rule language. ACM SIGMOD Record, 21(3):4--9, 1992.
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