E. Mayol, J. A. Pastor, E. Teniente, T. Urpí, C. Farré  Home/Search
Context
Related
Links: DBLP | lsi.upc.es/~folre/...lre_jidbd_98.ps.gz 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: lsi.upc.es/~tenien...troba_report (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We review in this paper both a framework for integrating the treatment of advanced update problems in deductive databases and the architecture of the FOLRE deductive database management system prototype, which extends the basic updating facilities provided by current deductive database systems. The distinguishing feature of our approach is the underlying integrative framework used to specify and combine advanced update problems such as view updating and materialization, integrity checking and... (Update)
Similar documents (at the sentence level):
34.0%: FOLRE: a Deductive Database System for the Integrated.. - Mayol, Pastor.. (Correct)
Active bibliography (related documents): More All
0.7: FOLRE: Towards a System for the Integrated.. - Urpí, Teniente.. (1994) (Correct)
0.5: Classification and Specification of Update Problems - Teniente, Urpí (Correct)
0.4: Updating Knowledge Bases while Maintaining their Consistency - Teniente, Olivé (1995) (Correct)
Similar documents based on text: More All
0.3: Handling Conceptual Model Validation by Planning - Costal, Teniente, Urpí, Farré (1996) (Correct)
0.3: Dealing with Modification Requests During View Updating and.. - Mayol, Teniente (Correct)
0.3: Structuring the Process of Integrity Maintenance - Mayol, Teniente (1997) (Correct)
BibTeX entry: (Update)
@misc{ mayol-integrated,
author = "E. Mayol and J. A. Pastor and E. Teniente and T. Urpí and C. Farré",
title = "Integrated Treatment of Updates in Deductive Databases: the FOLRE Project
(Extended Abstract)",
url = "citeseer.ist.psu.edu/137610.html" }
Citations (may not include all citations):170 Deriving Production Rules for Incremental View Maintenance - Ceri, Widom - 1991 ACM DBLP
109 Database Updates through Abduction (context) - Kakas, Mancarella - 1987 ACM DBLP
88 Incremental Recomputation of Active Relational Expressions - Qian, Wiederhold - 1991 ACM DBLP
44 Reactive Consistency Control in Deductive Databases - Moerkotte, Lockemann - 1991 ACM DBLP
38 A Survey of Research on Deductive Database Systems - Ramakrishnan, Ullman - 1995
34 Situation Monitoring for Active Databases (context) - Rosenthal, Chakravarthy et al. - 1989 ACM DBLP
29 Maintenance of Materialized Views: Problems, Techniques and .. - Gupta, Mumick - 1995
26 Updating Knowledge Bases while Maintaining their Consistency - Teniente, Olive - 1995
25 A Method for Change Computation in Deductive Databases (context) - Urpi, Olive - 1992 ACM DBLP
19 Integrity Checking in Deductive Databases (context) - Olive - 1991 ACM DBLP
17 An Extension of SLD by Abduction and Integrity Maintenance f.. (context) - Decker - 1996 DBLP
14 Comparing and Synthesizing Integrity Checking Methods for De.. (context) - Garcia, Celma et al. - 1994 ACM DBLP
10 How to Tackle Schema Validation by View Updating - Decker, Teniente et al. - 1996 ACM DBLP
9 Incorporating Modification Requests in Updating Consistent K.. - Mayol, Teniente - 1993 DBLP
9 A Common Framework for Classifying and Specifying Deductive .. - Teniente, Urpi - 1995 ACM DBLP
9 On Updates and Inconsistency Repairing in Knowledge Bases (context) - Wuthrich - 1993 ACM DBLP
8 Technical Report (context) - Manual - 1994
7 Logic and Databases: a 20 Year Retrospective (context) - Minker - 1996 DBLP
5 Structuring the Process of Integrity Maintenance - Mayol, Teniente - 1997 ACM DBLP
4 Supporting Transaction Design in Conceptual Modelling of Inf.. (context) - Pastor, Olive - 1995 ACM DBLP
3 Validity: Applications of a DOOD System (context) - Friesen, Lefebvre et al. - 1996 DBLP
3 Journal of Very Large Databases (context) - on, deductive et al. - 1994
3 A Theorem-Prover Approach to Database Integrity (context) - Sadri, Kowalski - 1988
2 EKS-V1, a Short Overview (context) - Vieille, Bayer et al. - 1990
2 Automatic Synthesis of Update Transaction Programs in Deduct.. (context) - Pastor - 1997
1 FOLRE: a Deducive Database Systems for the Integrated Treatm.. (context) - Mayol, Pastor et al. - 1997
1 FOLRE: un sistema para el tratamiento integrado de actualiza.. (context) - Teniente, Farre et al. - 1996
Documents on the same site (http://www-lsi.upc.es/~teniente/troba_report.html): More
An Approach to Obtain Intensional Translations for.. - Costal, Teniente, Urpí (1997) (Correct)
An Abductive Framework to Handle Consistency-preserving Updates.. - Teniente (1995) (Correct)
FOLRE: Towards a System for the Integrated.. - Urpí, Teniente.. (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