J. V. Harrison and S. W. Dietrich. Integrating Active and Deductive Rules. In First Int. Workshop on Rules in Database Systems, Workshops in Computing, pages 288--305, SpringerVerlag, 1994.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....developed, our work is more focused on language integration. In fact, unlike this approach, in our proposal the active and deductive components are not separated but coexist in the same language. Harrison and Dietrich have recently investigated the integration of active and deductive rules [13]. In this paper, an active system is proposed that allows the users to specify events on derived relations (defined by Datalog rules) and complex conditions involving both stored and derived relations. Also, conditions can reference both old and new values of tuples representing updates. The goal ....

....to increase the expressiveness of active rule languages. Conversely, our main goal is the definition of a framework allowing the user to specify both active and deductive rules using the same language, and as such, the definition of techniques for handling the sophisticated situations studied in [13], is beyond the scope of this paper. The approaches of Tanca [27] and Zaniolo [31] 32] though being technically quite different, are both based on the idea of expressing active rules by means of (extensions of) deductive ones. Specifically, in the work of Tanca, active rules are expressed in ....

J. V. Harrison and S. W. Dietrich. Integrating Active and Deductive Rules. In First Int. Workshop on Rules in Database Systems, Workshops in Computing, pages 288--305, SpringerVerlag, 1994.

....It is often restricted to first order logic and therefore is not well suited for active rule processing which requires a procedural approach. Nevertheless both deductive and active rule system approaches have many topics in common. References: ALUW93] BJ93] CHM94] DR93] DUHK92] GHJ93] HD93] ODSD94] SKdM92] Urp92] UO94] Wid93] Zan93] 3.5 Time Related Issues Since many applications might be time critical, temporal information and timely rule execution is a major topic in active database systems. References: DBBC88] CSS94] DG93] GD93a] GD93b] EGS93] EGS94] ....

John V. Harrison and Suzanne Dietrich. Integrating active and deductive rules. In N. Paton and M. Williams, editors, Rules in Database Systems., Workshops in Computing, pages 288--305. Springer, September 1993.

....been several significant projects not described in previous sections, a number of which are outlined below. These projects either cover ground which is beyond the scope of this paper (e.g. design) or represent alternative approaches to those presented earlier in the paper. Harrison and Dietrich [9] provide a Datalog based formalism which extends previous event algebras in permitting recursive complex events those affecting recursively defined relations in the intensional database. Events and conditions E1 H E2 E1 t1 t2 (E1;E2) t3 Fig. 2. Petri net for sequential composition. are ....

J.V. Harrison and S.W. Dietrich. Integrating active and deductive rules. In N.W. Paton and M.H. Williams, editors, Proc. 1st Int. Workshop on Rules In Database Systems, pages 288--305. Springer-Verlag, 1994.

....database system itself. Such active behaviour is expressed using either event condition action or condition action rules. A number of designs and implementations of active databases now exist, and proposals have been made which build upon relational [33, 18] extended relational [31] deductive [34, 19] and object oriented [10, 13, 17] data models. Active databases offer a number of advantages over their passive predecessors for a range of different categories of application, involving extensions to database systems [5, 12, 24] data intensive domains [8, 4] and control of external activities ....

....Formal specifications have been developed for the Starburst [32] and NAOS [9] rule systems using denotational semantics, but these specifications do not lend themselves to tailoring for the description of other rule systems. Other research has involved adapting the formal models of deductive [34, 19], functional [26] or temporal [11] databases to incorporate active behaviour, but such work does not lend itself to the specification of active databases built upon passive databases from different paradigms. One other proposal for specifying different active rule systems in a formal environment ....

J.V. Harrison and S.W. Dietrich. Integrating active and deductive rules. In N.W. Paton and M.H. Williams, editors, Proc. 1st Int. Workshop on Rules In Database Systems, pages 288--305. Springer-Verlag, 1994.

....1.1 Related Work Although there are substantial bodies of work in both active and deductive databases, only limited research to date has focused on connecting the two approaches. Some work has shown how deductive databases can be extended to support active behavior, e. g [BJ93, CCCR 90, HD93b, SKdM92,Tan91] this relates to the converse of the problem considered here. In the RDL1 system, a forward chaining production style of rule processing is used to implement a deductive database language [KdMS90] The goal of RDL1 is an efficient deductive database system. Hence, although the ....

J.V. Harrison and S.W. Dietrich. Integrating active and deductive rules. In Proceedings of the First International Workshop on Rules in Database Systems, pages 288--305, Edinburgh, Scotland, August 1993.

.... have been made to unify this integration [7] Also, several recent prototypes have been made available for both deductive objectedoriented databases (e.g. 20, 22] and active object oriented databases (e.g. 1, 11] and several proposals have been made for active deductive databases (e.g. [5, 10, 12, 28, 29]) Integration issues have been plentiful and there is a wide variety of solutions ranging from obviously ad hoc (e.g. early embeddings of SQL in C) to formal and sophisticated (e.g. 15] The integration issues are highly complex, especially for combining all three types: active, ....

J. Harrison and S. Dietrich, "Integrating Active and Deductive Rules," Proceedings of the 1st International Workshop on Rules in Database Systems, pp. 288-305, Edinburgh, Scotland, September 1993.

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