See this document in CiteSeerX!

Integrated Treatment of Updates in Deductive Databases: the FOLRE Project (Extended Abstract)  (Make Corrections)  
E. Mayol, J. A. Pastor, E. Teniente, T. Urpí, C. Farré



  Home/Search   Context   Related

Links:   DBLP

 
View or download:
lsi.upc.es/~folre/...lre_jidbd_98.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  lsi.upc.es/~tenien...troba_report (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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