E. Bertino, B. Catania, G. Guerrini, and D. Montesi. Transaction Optimization in Rule Databases. In J. Widom and S. Chakravarthy, editors, Proc. Fourth IEEE Lnternational Workshop on Research Issues in Data Engineering - Active Database Systems, pages 137 145, 1994. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
E-DEVICE: An Extensible Active Knowledge Base System with.. - Bassiliades, Vlahavas (2000) (Correct)
....lack of pure events in a relational database environment. The same architectural line is followed in the RDL1 A RDL system [24, 35] which additionally supports deductive rules by treating them as special production rules (see section 5. 3) A rather different approach is followed by U Datalog [7, 6] where deductive rules are extended with updates; therefore, production rules can be emulated. U Datalog allows updates to appear in the rule body and be executed only when the body condition is satisfied. The rule head, however, keeps the semantics of Datalog rules. The most 3 interesting ....
E. Bertino, B. Catania, G. Guerrini, and D. Montesi, "Transaction Optimization in Rule Databases," Proc. Int. Workshop in Data Engineering - Active Database Systems, Houston, Texas, 1994, pp. 137-145.
Towards Deductive Object Databases - Bertino, Guerrini (1994) (1 citation) Self-citation (Bertino Guerrini Montesi) (Correct)
....a transla tion in U Datalog is due to the fact that the definition and implementation of Obj U Datalog is part of a project which aims at developing an enhanced database language, equipped with an efficient implementation. We are currently developing several optimization techniques for U Datalog [15] that will lead to an optimized U Datalog interpreter and therefore to an optimized Obj U Datalog interpreter. An alternative implementation might realize a direct interpreter for Obj U Datalog, adapting one of the several evaluation techniques developed for deductive databases [11] to object ....
....was introduced in [24] This approach seems compatible with our view of deductive objects for data management applications. Finally, transactions have been deeply investigated in relational systems and traditional database systems [5, 38] However, little work has been done in logic languages [15]. In addition, as soon as concurrency is taken into account, the meaning of serializable transactions, rollback and the formal semantics of a collection of objects (deductive or not) must be revisited. Indeed, even in the context of concurrent systems substantial work is still required in this ....
E. Bertino, B. Catania, G. Guerrini, and D. Montesi. Transaction Optimization in Rule Databases. In J. Widom and S. Chakravarthy, editors, Proc. Fourth IEEE Lnternational Workshop on Research Issues in Data Engineering - Active Database Systems, pages 137 145, 1994.
Transactions and Updates in Deductive Databases - Montesi, Bertino, Martelli (1995) Self-citation (Bertino Montesi) (Correct)
....transactions. The formal setting proposed here has several interesting extensions. First of all, equivalence among transactions is used to optimize transaction executions by means of transaction and database transformations. Transaction optimization through static analysis has been developed in [7, 8]. A second extension is towards a more general data model such as object oriented in the deductive context [9, 11] Finally, other relevantdevelopments include semantic integrity constraints [42] Even if important, we do not consider in this paper algorithmic, complexity and implementation ....
....motivation is that a non immediate update semantics ensures that the set of performed updates is independent on the evaluation order of updates. Therefore, we regain the declarative setting. Static analysis of rules is thus possible in order to detect rules that may perform inconsistent updates [8]. To our knowledge, no static analysis techniques nor tools have been developed with respect to updates for other logic languages with updates. This seems related to the fact that immediate semantics, used in other approaches, makes very complex such static analysis. We believe, however, that for ....
[Article contains additional citation context not shown here]
E. Bertino, B. Catania, G. Guerrini, and D. Montesi. Transaction Optimization in Rule Databases. In Fourth IEEE Research Issues in Data Engineering: Active Database Systems (RIDE-ADS'94), pp. 137--145, Houston, 1994.
Deductive Object Databases - Bertino (1994) (9 citations) Self-citation (Bertino Guerrini Montesi) (Correct)
....a translation in U Datalog is due to the fact that the definition and implementation of Obj U Datalog is part of a project which aims at developing an enhanced database language, equipped with an efficient implementation. We are currently developing several optimization techniques for U Datalog [9] that will lead to an optimized U Datalog interpreter and therefore to an optimized Obj U Datalog interpreter. An alternative implementation might realize a direct interpreter for ObjU Datalog, adapting one of the several evaluation techniques developed for deductive databases [6] to object ....
E. Bertino, B. Catania, G. Guerrini, and D. Montesi. Transaction Optimization in Rule Databases. In J. Widom and S. Chakravarthy, editors, Proc. Research Issues in Data Engineering - Active Database Systems Workshop, 1994.
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