I. Motakis and C. Zanilo. Formal semantics for composite temporal events in active database rules. JOSI, 37(1), 1997.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....for the composition of events. Trigger conditions can be defined based on the old and new state of the database, thus using the concept of states rather than describing the event itself. For the ordering of database states, the temporal interval operators as defined in [3] can be used (see [23]) Ordering based on events, as opposed to states, has been implemented in the SAMOS system [14] The work of Zhang and Unger [26] is closely related to our approach, however, parameters and time frames are missing. The problem of temporal combination of events is also addressed in temporal and ....

I. Motakis and C. Zanilo. Formal semantics for composite temporal events in active database rules. JOSI, 37(1), 1997.

....which could be used as the basis for (global) reasoning about implication and equivalence of event queries. The event language of the system ODE [5] however, has been shown to have the power of regular expressions, but event consumption policies are not an explicit feature of the language. [10] proposes the use of Datalog 1S for expressing complex event queries. The advantage being that it has a well defined formal semantics. Such a language is rather more powerful than the algebras we consider in this paper, however, and indeed equivalence of Datalog 1S expressions can easily be shown ....

I. Motakis and C. Zaniolo. Formal semantics for composite temporal events in active database rules. Journal of Systems Integration, 7(3--4):291--325, 1997.

....those for which there have been no sideeffects) and those for which external intervention may be required. They may also be viewed as those affecting the actions of the delayed transaction and those affecting other transactions. Some researchers have investigated the nature of timedependent rules [2, 8, 9, 10, 14, 15], while with the introduction of temporal databases, other researchers have investigated the accommodation of active rules in temporal databases [3, 4, 5, 6, 13, 16, 18] However, to date, no research has investigated whether the accommodation of active rules into temporal databases is able to ....

Motakis, I. and Zaniolo, C. Formal semantic for composite temporal events in active databases rules. J. Syst. Integ., 7(3-4):291-325. 1997.

....case appears in the next section, when we discuss the chronicle parameter context. 5 Parameter Contexts One of the most appealing characteristics of the proposed method is its generality, whereby it can be used for the formal definition of constructs and concepts appearing in previous systems [15, 16]. Because of space limitations, we restrict our discussion here to the complete treatment of parameter contexts, an important concept introduced in Snoop [4] which provides the ability of precisely matching the varying requirements of a wide range of applications. Different parameter contexts ....

I. Motakis and C. Zaniolo. A Formal Semantics for Composite Temporal Events in Active Databases. Technical report, U.C.L.A., CS Department, 1995.

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