Download:
|
by E. Mayol, J. A. Pastor, E. Teniente, T. Urp, Jordi Girona Salgado, Edifici C
http://www-lsi.upc.es/~folre/papers/folre_rids97.ps.gz
Add To MetaCart
Abstract:
We present in this paper both a novel theoretically well-founded framework for integrating the treatment of advanced update and rule enforcement problems in deductive databases and the architecture of a new deductive database management system based upon such a framework. Our results extend the query-processing and basic updating functionalities provided by current deductive database systems with integrated view updating and materialization, integrity checking and maintenance, and condition monitoring; both for on-line updates and predefined transactions. The distinguishing feature of our approach is the underlying integrative framework used to specify and combine update problems which facilitates their implementation. Our system bears an architecture consisting of a deductive front-end that takes care of any updating task, working on a preexisting deductive back-end that handles all storage, retrieval and transaction management issues. Since the integrated treatment of advanced updating is an important issue both for deductive databases and for other database models, we hope that our approach helps to fill an important gap within current database technology.
Citations
|
196
|
Deriving production rules for incremental view maintenance
– Ceri, Widom
- 1991
|
|
159
|
Making Prolog more expressive
– Lloyd, Topor
- 1984
|
|
135
|
Database Updates through Abduction
– Kakas, Mancarella
- 1990
|
|
106
|
Incremental recomputation of active relational expressions
– Qian, Wiederhold
- 1991
|
|
61
|
The Aditi Deductive Database System
– Vaghani, Ramamohanarao, et al.
- 1994
|
|
60
|
Reactive Consistency Control in Deductive Databases
– Moerkotte, Lockemann
- 1991
|
|
58
|
A theorem-proving approach to database integrity
– Sadri, Kowalski
- 1988
|
|
51
|
A Survey of Research on Deductive Database Systems
– Ramakrishnan, Ullman
- 1993
|
|
49
|
Logic and databases: A 20 year retrospective
– Minker
- 1996
|
|
36
|
Situation Monitoring in Active Databases
– Rosenthal, Chakravarthy, et al.
- 1989
|
|
31
|
An extension of SLD by abduction and integrity maintenance for view updating in deductive databases
– Decker
- 1996
|
|
30
|
Updating knowledge bases while maintaining their consistency
– Teniente, Oliv��
- 1995
|
|
26
|
EKS-V1, A Short Overview
– Vieille, Bayer, et al.
|
|
21
|
A Method for Change Computation in Deductive Databases
– Urp��, Oliv��
- 1992
|
|
20
|
Mumick, “Maintenance of Materialized Views: Problems
– Gupta, S
- 1995
|
|
15
|
Comparing and synthesizing integrity checking methods for deductive databases
– Garc��a, Celma, et al.
- 1994
|
|
14
|
Integrity Checking in Deductive Databases
– Oliv��
- 1991
|
|
11
|
A common framework for classifying and specifying deductive database updating problems
– Teniente, Urp��
- 1995
|
|
10
|
How to Tackle Schema Validation by View Updating
– Decker, Teniente, et al.
- 1996
|
|
10
|
Incorporating Modification Requests in Updating Consistent Knowledge Bases
– Mayol, Teniente
- 1993
|
|
10
|
On Updates and Inconsistency Repairing in Knowledge Bases
– W��thrich
- 1993
|
|
6
|
Structuring the Process of Integrity Maintenance
– Mayol, Teniente
- 1997
|
|
4
|
VALIDITY: Applications of a DOOD System
– Friesen, Lefebvre, et al.
- 1996
|
|
4
|
Supporting Transaction Design in Conceptual Modelling of Information Systems
– Pastor, Oliv��
- 1995
|
|
4
|
Automatic Synthesis of Update Transaction Programs in Deductive Databases
– Pastor
- 1997
|
