Leopoldo Bertossi, Javier Pinto  Home/Search
Context
Related
Links: ACM DBLP | scs.carleton.ca/~bertoss...camerare6.ps 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: scs.carleton.ca/~bertossi/pape... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this article we extend previous work on the development of logical foundations for the speci cation of the dynamics of databases. (Update)
Similar documents (at the sentence level):
39.0%: Specifying Active Rules for Database Maintenance - Bertossi, Pinto (Correct)
Active bibliography (related documents): More All
0.6: Coherent Composition of Distributed.. - Arieli, Van.. (2001) (Correct)
0.5: Towards a General Theory of Advanced Transaction Models in the.. - Kiringa (Correct)
0.3: The Dynamics of Database Views - Arenas, Bertossi (1998) (Correct)
Similar documents based on text: More All
0.6: Consistent Query Answers in Inconsistent Databases - Arenas, Bertossi, Chomicki (1999) (Correct)
0.6: Specifying Database Transactions and Active Rules in the.. - Bertossi (1999) (Correct)
0.4: Probabilistic Situation Calculus - Mateus, Pacheco, Pinto, Sernadas.. (2000) (Correct)
BibTeX entry: (Update)
@article{ bertossi00specifying,
author = "Leopoldo Bertossi and Javier Pinto",
title = "Specifying Active Rules for Database Maintenance",
journal = "Lecture Notes in Computer Science",
volume = "1773",
pages = "112--??",
year = "2000",
url = "citeseer.ist.psu.edu/528976.html" }
Citations (may not include all citations):759 Negation as Failure (context) - Clark - 1978 ACM DBLP
663 Some Philosophical Problems from the Standpoint of Arti cial.. (context) - McCarthy, Hayes - 1969
451 Circumscription a form of Non-Monotonic Reasoning (context) - McCarthy - 1980
388 The Frame Problem in the Situation Calculus: a Simple Soluti.. (context) - Reiter - 1991
146 Deriving Production Rules for Constraint Maintenance - Ceri, Widom - 1990 ACM
82 Special Issue on Actions and Processes (context) - Lin, Reiter et al. - 1994
61 How to Progress a Database - Lin, Reiter - 1997 ACM DBLP
60 On Specifying Database Updates - Reiter - 1995 DBLP
52 Narratives in the Situation Calculus - Miller, Shanahan - 1994 DBLP
32 A Model-Based Belief Revision System (context) - Chou, Winslett - 1994 DBLP
20 Embracing Causality in Specifying the Indirect E ects of Act.. (context) - Lin - 1995
18 Adding a Time Line to the Situation Calculus (context) - Pinto, Reiter - 1993
17 Representing Actions and State Constraints in Model-Based Di.. - McIlraith - 1997 DBLP
16 Diagnosis and Repair of Constraint Violations in Database Sy.. (context) - Gertz - 1996 DBLP
12 Occurrences and Narratives as Constraints in the Branching S.. - Pinto - 1998
10 Kluwer Academic Publishers (context) - Chomicki, Saake et al. - 1998
10 An Extensible Framework for Repairing Constraint Violations - Gertz - 1996 ACM DBLP
4 Hypothetical Temporal Queries in Databases - Arenas, Bertossi - 1998 DBLP
4 Limitations of the Rule Triggering Systems for Integrity Mai.. - Schewe, Thalheim
4 Specifying Database Transactions and Active Rules in the Sit.. - Bertossi, Pinto et al. - 1999
4 Ecient Checking of Temporal Integrity Constraints Using Boun.. (context) - Chomicki - 1995
2 The Dynamics of Database Views - Arenas, Bertossi - 1998 ACM DBLP
2 SCDBR: An Automated Reasoner for Speci cations of Database U.. (context) - Bertossi, Arenas et al. - 1998
2 Present and Future (context) - Minker, Databases - 1997
1 Compiling Rami cation Constraints into E ect Axioms (context) - Pinto - 1999
1 Safety and Correct Translation of Relational Calculus Formul.. (context) - Van Gelder, Topor - 1987
1 ects and Triggers (context) - Pinto, Indirect - 1998
Documents on the same site (http://www.scs.carleton.ca/~bertossi/papers/): More
Scalar Aggregation in FD-Inconsistent Databases - Arenas, Bertossi, Chomicki (2001) (Correct)
Answering Historical Queries in Databases (Extended Abstract) - Siu, Bertossi (1996) (Correct)
Underlying Semantics for the Assessment of Reiter's.. - Bedrax-Weiss, Bertossi (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