T. Urpí, E. Teniente, J.A. Pastor, E. Mayol, C. Martín  Home/Search
Context
Related
| lsi.upc.es/~folre/paper...ercim94.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 overview the architecture of a newly-born deductive database management system that is to provide advanced update and rule enforcement capabilities within an integrated and theoretically well-founded framework. The system builds up on previous theoretical results and systems of others-for the semantics, query, storage and transaction management needs- and of our own previous research and prototypes-for the advanced update and rule enforcement purposes. We hope that our approach will help to... (Update)
Similar documents (at the sentence level):
7.6%: Extending the Synthesis of Update Transaction Programs to handle.. - Pastor (1994) (Correct)
6.6%: FOLRE: a Deductive Database System for the Integrated.. - Mayol, Pastor.. (Correct)
Active bibliography (related documents): More All
0.8: Classification and Specification of Update Problems - Teniente, Urpí (Correct)
0.8: A Common Framework for Classifying and Specifying Deductive.. - Teniente, Urpí (1995) (Correct)
0.7: Integrated Treatment of Updates in Deductive.. - Mayol, Pastor.. (Correct)
Similar documents based on text: More All
0.4: Incorporating Modification Requests in Updating Consistent.. - Mayol, Teniente (1993) (Correct)
0.4: Towards an Efficient Method for Updating Consistent Deductive .. - Mayol, Teniente (1995) (Correct)
0.4: How to Tackle Schema Validation by View Updating - Decker, Teniente, Urpi (1996) (Correct)
BibTeX entry: (Update)
@misc{ urp-folre,
author = "T. Urpí and E. Teniente and J.A. Pastor and E. Mayol and C. Martín",
title = "FOLRE: Towards a System for the Integrated Treatment of Updates and Rule
Enforcement in Deductive Databases",
url = "citeseer.ist.psu.edu/45895.html" }
Citations (may not include all citations):222 Maintaining Views Incrementally (context) - Gupta, Mumick et al. - 1993
170 Deriving production rules for incremental view maintenance - Ceri, Widom - 1991
147 An Amateur's Introduction to Recursive Query Processing Stra.. (context) - Bancilhon, Ramakrishnan - 1986
109 Database Updates through Abduction (context) - Kakas, Mancarella - 1987
88 Incremental recomputation of active relational expressions - Qian, Wiederhold - 1991
63 A uniform approach to constraint satisfaction and constraint.. (context) - Bry, Decker et al. - 1988
44 Reactive Consistency Control in Deductive Databases - Moerkotte, Lockemann - 1991
34 Situation monitoring for active databases (context) - Rosenthal, Chakravarthy et al. - 1989
27 Drawing Updates from Derivations (context) - Decker - 1990
26 Updating Knowledge Bases while Maintaining their Consistency - Teniente, Olive - 1995
26 Updating Knowledge Bases II (context) - Guessoum, Lloyd - 1991
25 A Method for Change Computation in Deductive Databases (context) - Urpi, Olive - 1992
19 Integrity Checking in Deductive Databases (context) - Olive - 1991
15 The Events Method for View Updating in Deductive Databases - Teniente, Olive - 1992
14 Comparing and Synthesizing Integrity Checking Methods for De.. (context) - Garcia, Celma et al. - 1994
14 MegaLog, a platform for developing Knowledge Base Management.. (context) - Bocca - 1991
10 Updating Intensional Predicates in Datalog (context) - Atzeni, Torlone - 1992
9 Incorporating Modification Requests in Updating Consistent K.. - Mayol, Teniente - 1993
9 A Common Framework for Classifying and Specifying Deductive .. - Teniente, Urpi - 1995
9 On Updates and Inconsistency Repairing in Knowledge Bases (context) - Wuthrich - 1993
8 Technical Report (context) - Manual - 1994
6 An Approach to the Synthesis of Update Transactions in Deduc.. - Pastor, Olive - 1994
3 Semantic Change Computation Optimization in Active Databases - Urpi, Olive - 1994
2 Extending the Synthesis of Update Transaction Programs to ha.. - Pastor - 1994
1 Special issue on prototypes of deductive database systems (context) - Journal - 1994
1 A Model for Reasoning About Deductive Conceptual Models of I.. (context) - Costal, Olive - 1992
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)
Structuring the Process of Integrity Maintenance - Mayol, Teniente (1997) (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