A Common Framework for Classifying and Specifying Deductive Database Updating Problems.
Ernest Teniente, Toni Urpí:
A Common Framework for Classifying and Specifying Deductive Database Updating Problems.
ICDE 1995: 173-182@inproceedings{DBLP:conf/icde/TenienteU95,
author = {Ernest Teniente and
Toni Urp\'{\i}},
editor = {Philip S. Yu and
Arbee L. P. Chen},
title = {A Common Framework for Classifying and Specifying Deductive Database
Updating Problems},
booktitle = {Proceedings of the Eleventh International Conference on Data
Engineering, March 6-10, 1995, Taipei, Taiwan},
publisher = {IEEE Computer Society},
year = {1995},
isbn = {0-8186-6910-1},
pages = {173-182},
ee = {db/conf/icde/TenienteU95.html},
crossref = {DBLP:conf/icde/95},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
Copyright © 1995 by The Institute of
Electrical and Electronic Engineers, Inc. (IEEE).
Abstract used with permission.
CDROM Version: Load the CDROM "Volume 2 Issue 6, ICDE 1984-1995" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
Printed Edition
Philip S. Yu, Arbee L. P. Chen (Eds.):
Proceedings of the Eleventh International Conference on Data Engineering, March 6-10, 1995, Taipei, Taiwan.
IEEE Computer Society 1995, ISBN 0-8186-6910-1
Contents BibTeX
References
- [Abi88]
- Serge Abiteboul:
Updates, A New Frontier.
ICDT 1988: 1-18 BibTeX
- [BDM88]
- François Bry, Hendrik Decker, Rainer Manthey:
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases.
EDBT 1988: 488-505 BibTeX
- [CW90]
- Stefano Ceri, Jennifer Widom:
Deriving Production Rules for Constraint Maintainance.
VLDB 1990: 566-577 BibTeX
- [CW91]
- Stefano Ceri, Jennifer Widom:
Deriving Production Rules for Incremental View Maintenance.
VLDB 1991: 577-589 BibTeX
- [DW89]
- Subrata Kumar Das, M. Howard Williams:
A Path Finding Method for Constraint Checking in Deductive Databases.
Data Knowl. Eng. 4: 223-244(1989) BibTeX
- [Dec90]
- Hendrik Decker:
Drawing Updates From Derivations.
ICDT 1990: 437-451 BibTeX
- [GL91]
- Ahmed Guessoum, John W. Lloyd:
Updating Knowledge Bases II.
New Generation Comput. 10(1): 73-100(1991) BibTeX
- [GCM+94]
- Matilde Celma, Carlos Garcia, Laura Mota-Herranz, Hendrik Decker:
Comparing and Synthesizing Integrity Checking Methods for Deductive Databases.
ICDE 1994: 214-222 BibTeX
- [GMN84]
- Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
Logic and Databases: A Deductive Approach.
ACM Comput. Surv. 16(2): 153-185(1984) BibTeX
- [GMS93]
- Ashish Gupta, Inderpal Singh Mumick, V. S. Subrahmanian:
Maintaining Views Incrementally.
SIGMOD Conference 1993: 157-166 BibTeX
- [HCK+90]
- Eric N. Hanson, Moez Chaabouni, Chang-Ho Kim, Yu-Wang Wang:
A Predicate Matching Algorithm for Database Rule Systems.
SIGMOD Conference 1990: 271-280 BibTeX
- [HD92]
- John V. Harrison, Suzanne W. Dietrich:
Maintenance of Materialized Views in a Deductive Database: An Update Propagation Approach.
Workshop on Deductive Databases, JICSLP 1992: 56-65 BibTeX
- [KM90]
- Antonis C. Kakas, Paolo Mancarella:
Database Updates through Abduction.
VLDB 1990: 650-661 BibTeX
- [Kow83]
- Robert A. Kowalski:
Logic Programming.
IFIP Congress 1983: 133-145 BibTeX
- [Küc91]
- Volker Küchenhoff:
On the Efficient Computation of the Difference Between Concecutive Database States.
DOOD 1991: 478-502 BibTeX
- [Llo87]
- John W. Lloyd:
Foundations of Logic Programming, 2nd Edition.
Springer 1987, ISBN 3-540-18199-7
BibTeX
- [ML91]
- Guido Moerkotte, Peter C. Lockemann:
Reactive Consistency Control In Deductive Databases.
ACM Trans. Database Syst. 16(4): 670-702(1991) BibTeX
- [Oli91]
- Antoni Olivé:
Integrity Constraints Checking In Deductive Databases.
VLDB 1991: 513-523 BibTeX
- [QW91]
- Xiaolei Qian, Gio Wiederhold:
Incremental Recomputation of Active Relational Expressions.
IEEE Trans. Knowl. Data Eng. 3(3): 337-341(1991) BibTeX
- [RCB=89]
- Arnon Rosenthal, Sharma Chakravarthy, Barbara T. Blaustein, José A. Blakeley:
Situation Monitoring for Active Databases.
VLDB 1989: 455-464 BibTeX
- [SK88]
- Fariba Sadri, Robert A. Kowalski:
A Theorem-Proving Approach to Database Integrity.
Foundations of Deductive Databases and Logic Programming. 1988: 313-362 BibTeX
- [TA91]
- Riccardo Torlone, Paolo Atzeni:
Updating Deductive Databases with Functional Dependencies.
DOOD 1991: 278-291 BibTeX
- [TO92]
- Ernest Teniente, Antoni Olivé:
The Events Method for View Updating in Deductive Databases.
EDBT 1992: 245-260 BibTeX
- [TO95]
- Ernest Teniente, Antoni Olivé:
Updating Knowledge Bases While Maintaining Their Consistency.
VLDB J. 4(2): 193-241(1995) BibTeX
- [Ull88]
- Jeffrey D. Ullman:
Principles of Database and Knowledge-Base Systems, Volume I.
Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX
- [UO92]
- Toni Urpí, Antoni Olivé:
A Method for Change Computation in Deductive Databases.
VLDB 1992: 225-237 BibTeX
- [UO94]
- Toni Urpí, Antoni Olivé:
Semantic Change Computation Optimization in Active Databases.
RIDE-ADS 1994: 19-27 BibTeX
- [Wüt93]
- Beat Wüthrich:
On Updates and Inconsistency Repairing in Knowledge Bases.
ICDE 1993: 608-615 BibTeX
Referenced by
- Hendrik Decker, Ernest Teniente, Toni Urpí:
How to Tackle Schema Validation by View Updating.
EDBT 1996: 535-549
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
ICDE Proceedings: Copyright © by IEEE,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:18:18 2009