dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

Updating Intensional Predicates in Deductive Databases.

Dominique Laurent, Viet Phan Luong, Nicolas Spyratos: Updating Intensional Predicates in Deductive Databases. ICDE 1993: 14-21
@inproceedings{DBLP:conf/icde/LaurentLS93,
  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        = {http://dx.doi.org/10.1109/ICDE.1993.344082},
  crossref  = {DBLP:conf/icde/93},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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 ...

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

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

Last update Fri Sep 14 17:05:20 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page