E. Bertino, et al.  Home/Search
Context Related
| disi.unige.it/person...wddbiclp94.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: disi.unige.it/researc...group_pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: E. Bertino 1 , B. Catania 1 , G. Guerrini 2 , D. Montesi 3 1 Dipartimento di Scienze dell'Informazione, Universit`a di Milano Via Comelico, 39 20133 Milano, Italy fbertino,cataniag@disi.unige.it 2 Dipartimento di Informatica e Scienze dell'Informazione, Universit`a di Genova Viale Benedetto XV, 3 16132 Genova, Italy guerrini@disi.unige.it 3 Informatics Department, Systems Engineering Division Rutherford Appleton Laboratory, SERC Chilton, Didcot, Oxon OX11 0QX, UK... (Update)
Context of citations to this paper: More
...together modeling a transactional behavior. The formal semantics is given in [6] while two optimization techniques are presented in [3, 5] and an object oriented extension was proposed in [4] In this paper we describe an extended Magic Sets strategy for the efficient...
.... of future extensions such modular construction based on object oriented paradigm ( 6] as transaction optimization techniques ([5]) and integrity constraint support ( 14] Thus, it can be seen as an open prototyping database system where several new features can be...
Cited by: More
Transactions and Updates in Deductive Databases - Montesi, Bertino, Martelli (1995) (Correct)
A Bottom-Up Interpreter for a Database Language with Updates.. - Bertino Catania (1993) (Correct)
An Extended Magic Sets Strategy for a Rule language with.. - Paulo Azevedo (Correct)
Active bibliography (related documents): More All
0.7: Deductive Object Databases - Bertino (1994) (Correct)
0.4: Towards Deductive Object Databases - Bertino, Guerrini (1994) (Correct)
0.2: Constraint-Based Updates in a Functional Data Model Database - Embury (1994) (Correct)
Similar documents based on text: More All
0.7: Inheritance in a Deductive Object Database Language with.. - Bertino, Guerrini, Montesi (Correct)
0.5: Generic Methods in Deductive Object Databases - Elisa Bertino (1994) (Correct)
0.3: A Formal Temporal Object-Oriented Data Model - Bertino, Ferrari, Guerrini (1996) (Correct)
Related documents from co-citation: More All
3: the new frontier (context) - Abiteboul - 1988
3: Modeling Database Updates with Constraint Logic Programming (context) - Bertino, Martelli et al. - 1992
3: Constraint Logic Programming (context) - Jaffar, Lassez - 1987
BibTeX entry: (Update)
E. Bertino, B. Catania, G. Guerrini and D. Montesi. Static Analysis of Transactional Intensional Databases. Proc. Second ICLP-Workshop on Deductive Databases and Logic Programming of International Conference on Logic Programming, pages 57-73, Genova, 1994. http://citeseer.ist.psu.edu/bertino94static.html More
@inproceedings{ bertino94static,
author = "Elisa Bertino and Barbara Catania and Giovanna Guerrini and Danilo Montesi",
title = "Static Analysis of Transactional Intensional Databases",
booktitle = "Workshop on Deductive Databases and Logic Programming",
pages = "57-73",
year = "1994",
url = "citeseer.ist.psu.edu/bertino94static.html" }
Citations (may not include all citations):218 Abstract Interpretation and Application to Logic Programs (context) - Cousot, Cousot - 1990 ACM DBLP
218 Logic Programming and Databases (context) - Ceri, Gottlob et al. - 1990 ACM DBLP
146 Introduction to Logic Programming (context) - Apt - 1990 ACM DBLP
127 Query Optimization in Database Systems (context) - Karke, Koch - 1984 ACM DBLP
99 Logic and database: A deductive approach (context) - Gallaire, Minker et al. - 1984
64 Optimizing Datalog Programs (context) - Sagiv - 1988 ACM DBLP
50 a New Frontier (context) - Abiteboul - 1988
45 Foundations of Semantic Query Optimization for Deductive Dat.. (context) - Chakravarthy, Grant et al. - 1988 ACM DBLP
41 Glue-Nail: A Deductive Database System - Derr, Phipps et al. - 1991 DBLP
20 Equivalence and Optimization of Relational Transactions (context) - Abiteboul, Vianu - 1988 ACM DBLP
13 Rule Processing in Active Database Systems (context) - Hanson, Widom - 1993 ACM
12 Modeling Database Updates with Constraint Logic Programming (context) - Bertino, Martelli et al. - 1992 DBLP
6 A Model for Updates and Transactions in Deductive Databases (context) - Montesi - 1993
5 Transaction Processing Concepts and Tecniques (context) - Gray, Reuter - 1993
4 Correctness of Semantic Integrity Checking in Database Manag.. (context) - Bertino, Musto - 1988 ACM DBLP
2 Modular Logic Programs on Finite Domains (context) - Gabbrielli, Giacobazzi et al. - 1993
2 An Amatures's Introduction to Recursive Query Processing Str.. (context) - Bancilhon, Ramakrishnan - 1986
1 Problemi di Ottimizzazione in un Linguaggio di Vincoli per B.. (context) - Catania - 1993
1 Elements of Relational Database Theory logic (context) - Kanellakis - 1990
1 Dataflow Analysis of Logic Programs (context) - Debray - 1992
1 A Canonical Form for Recursive Intensional Databases (context) - Bertino, Bertagna et al.
Documents on the same site (http://www.disi.unige.it/research/Databases/group_pub.html): More
Implementing Active Rules in an Object Database System - Guerrini, al. (1994) (Correct)
Deductive Object Databases - Bertino (1994) (Correct)
Transaction Optimization in Rule Databases - Bertino, Catania, Guerrini.. (1994) (Correct)
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