Y. Motakis, and C. Zaniolo, Composite Temporal Events in Active Databases: a Formal Semantics, submitted for publication.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....from already existing ones. Hence, we advocate an extensible approach and provide a simple framework for composing spatio temporal predicates. The integration into SQL becomes possible by an appropriate macro mechanism. This is similar to the way in which composite events are specified in [19]. The main difference is that events occur always at some instant in time whereas we also deal with predicates over whole time periods. Section 2 presents a proposal for STQL. It describes the underlying data model and illustrates the embedding of spatio temporal data types and operations into ....

I. Motakis and C. Zaniolo. Composite Temporal Events in Active Databases: A Formal Semantics. In J. Clifford and A. Tuzhilin, editors, Recent Advances in Temporal Databases, pages 332--351. Springer Verlag, 1995.

....table. Complex real world processes are described by combining this minimal set of general low level evolution mechanisms (basic STPs) to define sequences, conjunctions, disjunctions or cycles of events. These complex processes can be described using the Event Pattern Language (Gehani 1992, Motakis 1995) to link many basic STPs and define composite STPs (Claramunt 1996) The EPL language is already used for active database applications and provides logical constructors for the representation of composite STPs, it includes an order syntax and coordinating rules. Together, STPs and EPL, provide a ....

MOTAKIS, I. and ZANIOLO, C., 1995. Composite Temporal Events in Active Databases: A Formal Semantics. In Clifford J. and Tuzhilin A. Eds., Recent Advances in Temporal Databases, Berlin, Springer-Verlag, 332-354.

No context found.

Y. Motakis, and C. Zaniolo, Composite Temporal Events in Active Databases: a Formal Semantics, submitted for publication.

No context found.

Y. Motakis, and C. Zaniolo, Composite Temporal Events in Active Databases: a Formal Semantics, submitted for publication.

No context found.

I. Motakis and C. Zaniolo. Composite Temporal Events in Active Databases: A Formal Semantics. In J. Clifford and A. Tuzhilin, editors, Recent Advances in Temporal Databases, Workshops in Computing Series, pages 332--351. Springer, 1995.

....to handling multiple instants of the same FSM, one for each instance of E. Finally, the incorporation of event variables is straightforward, as it is shown in the next section. A more complete example of the power of Datalog 1S , with respect to modeling such dynamic behaviour is presented in [15], where we demonstrate how the execution semantics of Petri Nets used for the detection of composite events can be clearly and accurately defined by Datalog 1S rules. Datalog 1S provides therefore a general method for defining such dynamic behaviour and a useful tool for comparing the constructs ....

....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. Composite Temporal Events in Active Databases: A Formal Semantics. In Proceedings of the International Workshop on Temporal Databases, 1995.

....thus, the integer 3 is represented as 0 1 1 1. Alternatively using the normal functional notation, the successor of J is denoted s(J) this notation is at the root of the name Datalog 1S . The merits of Datalog 1S for modeling temporal and dynamic systems have been described in several papers [4, 14, 11]. Therefore, delta predicates with stage argument J have the form insR(J; X) delR(J; X) and updR(J; Xold; Xnew) For notational convenience, we will instead write the stage argument as a superscript: insR J (X) delR J (X) and updR J (Xold; Xnew) In addition to the delta relations, several ....

....of priorities to rules (or the validation of priorities assigned by the programmer) and (3) generalized termination policies. In my recent research, I have been pursuing the thesis that a conceptual unity underlies the areas of active databases, temporal databases and deductive databases [13, 14, 11]. The results of this paper bring further support to this thesis, and, hopefully, will promote the confluence of these three areas of database research. Acknowledgments Thanks are due to the referees and Antonio Brogi for many improvements. ....

Y. Motakis, and C. Zaniolo, Composite Temporal Events in Active Databases: a Formal Semantics, submitted for publication.

No context found.

I. Motakis and C. Zaniolo. Composite Temporal Events in Active Databases: A Formal Semantics. In J. Clifford and A. Tuzhilin, editors, Recent Advances in Temporal Databases, Workshops in Computing Series, pages 332--351. Springer, Sep. 1995. FORMAL SEMANTICS FOR COMPOSITE TEMPORAL EVENTS IN ACTIVE DBS 37

....closing prices, that lasted at least 30 days. ffl For the IBM stock, report its price every time when there have been at least twice as many increases of its price so far, as decreases. 2. 2 Composite Event Languages Active database languages such as ODE [15] Snoop [3] SAMOS [13] and EPL [23] support the specification of rules that are fired when complex patterns of events are detected. For this purpose, they provide constructs to express: Qualified Basic Events, i.e. basic events such as database relation modifications in relational systems, or method invocation commands in ....

....every time an ibm tick event occurs, this tuple must be retrieved and updated accordingly. Because of space limitations, we do not discuss this approach any further. 5 Semantics of TREPL In this section we present the semantics of TREPL, employing the same method we used for its predecessor EPL [23, 22]. First, we introduce the basic concepts, then we focus on derived events and aggregation within star sequences. For more details and examples about the formalization of event histories and the semantics of the other TREPL constructs, the reader is referred to [22] 5.1 Event Histories In order ....

I. Motakis and C. Zaniolo. Composite Temporal Events in Active Databases: A Formal Semantics. In J. Clifford and A. Tuzhilin, editors, Recent Advances in Temporal Databases, Workshops in Computing Series, pages 332-- 351. Springer, 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