Danilo Montesi, Elisa Bertino, Maurizio Martelli  Home/Search
Context
Related
Links: ACM DBLP | doc.ic.ac.uk/deptechrep/DTR952.pdf 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: doc.ic.ac.uk/deptechrep/tc9510 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we develop a new approach providing a smooth integration of extensional updates and declarative query language for deductive databases. The approach is based on a declarative specification of updates in rule bodies. Updates are not executed as soon are evaluated. Instead, they are collected and then applied to the database when the query evaluation is completed. We call this approach non-immediate update semantics. We provide a topdown and equivalent bottom-up semantics... (Update)
Active bibliography (related documents): More All
1.5: Towards Deductive Object Databases - Bertino, Guerrini (1994) (Correct)
1.0: A Bottom-Up Interpreter for a Database Language with Updates.. - Bertino Catania (1993) (Correct)
0.7: Deductive Object Databases - Bertino (1994) (Correct)
Similar documents based on text: More All
0.5: Generic Methods in Deductive Object Databases - Elisa Bertino (1994) (Correct)
0.3: Enhancing the Expressive Power of the U-Datalog Language - Bertino, al. (1999) (Correct)
0.3: Static Analysis of Transactional Intensional Databases.. - Bertino, al. (1994) (Correct)
BibTeX entry: (Update)
@article{ montesi97transactions,
author = "Danilo Montesi and Elisa Bertino and Maurizio Martelli",
title = "Transactions and Updates in Deductive Databases",
journal = "Knowledge and Data Engineering",
volume = "9",
number = "5",
pages = "784-797",
year = "1997",
url = "citeseer.ist.psu.edu/montesi95transactions.html" }
Citations (may not include all citations):1838 Foundations of logic programming (context) - Lloyd - 1987 ACM
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987 ACM DBLP
250 Computer Science Press (context) - Ullman, Knowledge-Base - 1989
248 The Semantics of Predicate Logic as a Programming Language (context) - Van Emden, Kowalski - 1976
134 ACM Transactions on Programming Languages and Systems (context) - Jaffar, CLP et al. - 1992
99 Logic and database: A deductive approach (context) - Gallaire, Minker et al. - 1984
96 the Semantics of Updates in Database (context) - Fagin, Ullman et al. - 1983
64 Optimizing Datalog Program (context) - Sagiv - 1987
59 A Logic-based Language for Database Updates (context) - Manchanda, Warren - 1987 ACM DBLP
57 A Compositional Semantics for Logic Programs (context) - Bossi, Gabbrielli et al. - 1994 ACM DBLP
53 Decidability and Expressiveness Aspects of Logic Queries (context) - Shmueli - 1986 ACM DBLP
50 a New Frontier (context) - Abiteboul - 1988
42 Fully Abstract Compositional Semantics for Logic Programs (context) - Gaifman, Shapiro - 1989 ACM DBLP
41 Procedural and Declarative Database Update Languages (context) - Abiteboul, Vianu - 1988 ACM DBLP
41 Glue-Nail: A Deductive Database System - Derr, Phipps et al. - 1991 DBLP
39 Programming Expert Systems in OPS (context) - Brownston, Farrell et al. - 1985
35 Language Constructs for Programming Active Databases - Hull, Jacobs - 1991 ACM DBLP
31 Lecture Notes in Computer Science (context) - Harel, Logic - 1979
30 Performance Evaluation of Data Intensive Logic Programs (context) - Bancilhon, Ramakrishnan - 1987 ACM DBLP
27 Towards an Algebra for Constructing Logic Programs (context) - O'Keefe - 1985 DBLP
27 Observable semantics for Constraints Logic Programs - Gabbrielli, Dore et al. - 1994
27 Efficient Implementation of a defensible Semantics for Dynam.. (context) - Lindholm, O'Keefe - 1987 DBLP
20 Equivalence and Optimization of Relational Transactions (context) - Abiteboul, Vianu - 1988 ACM DBLP
16 A Transaction Language Complete for Database Update and Spec.. (context) - Abiteboul, Vianu - 1987
16 Declarative Specification and Evaluation of Database Updates (context) - Chen - 1991 DBLP
15 Deductive Object Databases - Bertino, Guerrini et al. - 1994 ACM DBLP
13 A Syntax and Semantics for Set-Oriented Production Rules in .. (context) - Finkelstein, Widom - 1989 ACM
12 Modeling Database Updates with Constraint Logic Programming (context) - Bertino, Martelli et al. - 1992 DBLP
12 Extending Logic Programming (context) - Laenens, Sacca et al. - 1990 ACM DBLP
11 A Production Rule based approach to Deductive databases (context) - de Maindreville, Simon - 1988
10 What You Always Wanted to KnowAbout Datalog - And Never Dare.. (context) - Ceri, Gottlob et al.
8 A Deductive Database Language Supporting Modules - Freitag - 1992
6 On Modelling Behavioural Semantics of Databases (context) - Brodie - 1981 DBLP
6 The implementation and definition of computer programming la.. (context) - Steele - 1980
5 Transaction Processing Concepts and Tecniques (context) - Gray, Reuter - 1993
5 A Bottom-Up Interpreter for a Database Language with Updates.. - Bertino, Catania et al. - 1994
4 Transaction Optimization in Rule Databases - Bertino, Catania et al. - 1994 DBLP
3 Static Analysis of Transactional Intensional Database - Bertino, Catania et al. - 1994
3 Parallel Update Transactions (context) - Karabeg, Vianu - 1988 ACM DBLP
2 Towards Deductive Object Databases - Bertino, Guerrini et al. - 1994 ACM
2 Generic Methods for DeductiveObject Databases - Bertino, Guerrini et al. - 1994
2 updates and transactions within a logic- based language (context) - Montesi, Bertino et al. - 1993
1 Correctness and Completeness of logic programs under the CLP.. (context) - Bertolino, Bonatti et al. - 1991
1 Other papers on the subject are available in pub/bonner/tran.. (context) - Bonner, Kifer et al. - 1994
1 ALogic Language for Data and Knowledge Bases (context) - Naqvi, Tsur - 1989
1 Towards logic taylored for comptutational complexity (context) - Gurevich - 1984
1 Technical Report April (context) - Woodfill, version - 1981
1 Modular logic programs on finite domain and dataflow analysi.. (context) - Gabbrielli, Giacobazzi et al. - 1994
Documents on the same site (http://www.doc.ic.ac.uk/deptechrep/tc9510.html): More
Managing Inconsistent Specifications: Reasoning, Analysis and .. - Hunter, Nuseibeh (1995) (Correct)
Management Policy Service for Distributed Systems - Marriott, Sloman, Yialelis (1996) (Correct)
Modal Labelled Deductive Systems - Russo (1995) (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