Updating Intensional Predicates in Deductive Databases.

Dominique Laurent, Viet Phan Luong, Nicolas Spyratos: Updating Intensional Predicates in Deductive Databases. ICDE 1993: 14-21
  author    = {Dominique Laurent and
               Viet Phan Luong and
               Nicolas Spyratos},
  title     = {Updating Intensional Predicates in Deductive Databases},
  booktitle = {Proceedings of the Ninth International Conference on Data Engineering,
               April 19-23, 1993, Vienna, Austria},
  publisher = {IEEE Computer Society},
  year      = {1993},
  isbn      = {0-8186-3570-3},
  pages     = {14-21},
  ee        = {db/conf/icde/LaurentLS93.html},
  crossref  = {DBLP:conf/icde/93},
  bibsource = {DBLP,}


Copyright © 1993 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

ACM SIGMOD Anthology

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

Proceedings of the Ninth International Conference on Data Engineering, April 19-23, 1993, Vienna, Austria. IEEE Computer Society 1993, ISBN 0-8186-3570-3
Contents BibTeX


Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18 BibTeX
Paolo Atzeni, Riccardo Torlone: Efficient Updates to Independent Schemes in the Weak Instance Model. SIGMOD Conference 1990: 84-93 BibTeX
Paolo Atzeni, Riccardo Torlone: Updating intensional predicates in Datalog. Data Knowl. Eng. 8: 1-17(1992) BibTeX
Nicole Bidoit: Negation in Rule-Based Database Languages: A Survey. Theor. Comput. Sci. 78(1): 3-83(1991) BibTeX
Nicole Bidoit, Christine Froidevaux: Negation by Default and Unstratifiable Logic Programs. Theor. Comput. Sci. 78(1): 86-112(1991) BibTeX
Nicole Bidoit, P. Legay: WELL!: An Evaluation Procedure for All Logic Programs. ICDT 1990: 335-348 BibTeX
Stefano Ceri, Georg Gottlob, Letizia Tanca: Logic Programming and Databases. Springer 1990, ISBN 3-540-51728-6
Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365 BibTeX
Gösta Grahne, Alberto O. Mendelzon, Peter Z. Revesz: Knowledgebase Transformations. PODS 1992: 246-260 BibTeX
Christian S. Jensen, Richard T. Snodgrass: Temporal Specialization. ICDE 1992: 594-603 BibTeX
Dominique Laurent, Nicolas Spyratos: A Partition Model Approach to Updating Universal Scheme Interfaces. IEEE Trans. Knowl. Data Eng. 6(2): 316-330(1994) BibTeX
Dominique Laurent, Viet Phan Luong, Nicolas Spyratos: Deleted Tuples are Useful when Updating through Universal Scheme Interfaces. ICDE 1992: 420-427 BibTeX
Christophe Lécluse, Nicolas Spyratos: Implementing Queries and Updates on Universal Scheme Interfaces. VLDB 1988: 62-75 BibTeX
Raymond Reiter: A Logic for Default Reasoning. Artif. Intell. 13(1-2): 81-132(1980) BibTeX
Raymond Reiter: On Formalizing Database Updates: Preliminary Report. EDBT 1992: 10-20 BibTeX
Riccardo Torlone, Paolo Atzeni: Updating Deductive Databases with Functional Dependencies. DOOD 1991: 278-291 BibTeX
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX
Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: The Well-Founded Semantics for General Logic Programs. J. ACM 38(3): 620-650(1991) BibTeX
Marianne Winslett: A Model-Based Approach to Updating Databases with Incomplete Information. ACM Trans. Database Syst. 13(2): 167-196(1988) BibTeX

Referenced by

  1. Suryanarayana M. Sripada, Beat Wüthrich: Cumulative Updates. VLDB 1994: 534-545
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ICDE Proceedings: Copyright © by IEEE,
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:18:07 2009