ACM SIGMOD Anthology TKDE dblp.uni-trier.de

Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning.

Weidong Chen: Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning. IEEE Trans. Knowl. Data Eng. 9(4): 587-599(1997)
@article{DBLP:journals/tkde/Chen97,
  author    = {Weidong Chen},
  title     = {Programming with Logical Queries, Bulk Updates, and Hypothetical
               Reasoning},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {9},
  number    = {4},
  year      = {1997},
  pages     = {587-599},
  ee        = {db/journals/tkde/Chen97.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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



References

[1]
Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[2]
Serge Abiteboul, Victor Vianu: Non-Determinism in Logic-Based Languages. Ann. Math. Artif. Intell. 3(2-4): 151-186(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[3]
Serge Abiteboul, Victor Vianu: Datalog Extensions for Database Queries and Updates. J. Comput. Syst. Sci. 43(1): 62-124(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
Serge Abiteboul, Victor Vianu: Procedural Languages for Database Queries and Updates. J. Comput. Syst. Sci. 41(2): 181-229(1990) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[6]
Krzysztof R. Apt, Maarten H. van Emden: Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[7]
Elisa Bertino, Maurizio Martelli, Danilo Montesi: Modeling Database Updates with Constraint Logic Programming. Workshop on Deductive Databases, JICSLP 1992: 175-184 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[8]
Anthony J. Bonner: Hypothetical Datalog: Complexity and Expressibility. Theor. Comput. Sci. 76(1): 3-51(1990) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
Anthony J. Bonner, Michael Kifer: Transaction Logic Programming. ICLP 1993: 257-279 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[10]
François Bry: Intensional Updates: Abduction via Deduction. ICLP 1990: 561-575 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[11]
Weidong Chen: Declarative Updates of Relational Databases. ACM Trans. Database Syst. 20(1): 42-70(1995) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
Weidong Chen: Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics. ACM Trans. Database Syst. 20(3): 239-287(1995) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[13]
Weidong Chen: Declarative Specification and Evaluation of Database Updates. DOOD 1991: 147-166 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
Weidong Chen, David Scott Warren: Query Evaluation under the Well Founded Semantics. PODS 1993: 168-179 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[15]
W. F. Clocksin, Chris Mellish: Programming in Prolog, 2nd Edition. Springer 1984
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[16]
Dov M. Gabbay, Uwe Reyle: N-Prolog: An Extension of Prolog with Hypothetical Implications I. J. Log. Program. 1(4): 319-355(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[17]
Shahram Ghandeharizadeh, Richard Hull, Dean Jacobs, Jaime Castillo, Martha Escobar-Molano, Shih-Hui Lu, Junhui Luo, Chiu Tsang, Gang Zhou: On Implementing a Language for Specifying Active Database Execution Models. VLDB 1993: 441-454 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[18]
David Harel: First-Order Dynamic Logic. Lecture Notes in Computer Science Vol. 68 Springer 1979, ISBN 3-540-09237-4
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[19]
Richard Hull, Dean Jacobs: Language Constructs for Programming Active Databases. VLDB 1991: 455-467 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[20]
Dean Jacobs, Richard Hull: Database Programming with Delayed Updates. DBPL 1991: 416-428 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[21]
Antonis C. Kakas, Paolo Mancarella: Database Updates through Abduction. VLDB 1990: 650-661 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[22]
Hirofumi Katsuno, Alberto O. Mendelzon: On the Difference between Updating a Knowledge Base and Revising It. KR 1991: 387-394 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[23]
Abraham Silberschatz, Henry F. Korth: Database System Concepts, 2nd Edition. McGraw-Hill Book Company 1991
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[24]
...
[25]
Sanjay Manchanda, David Scott Warren: A Logic-based Language for Database Updates. Foundations of Deductive Databases and Logic Programming. 1988: 363-394 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[26]
Shamim A. Naqvi, Ravi Krishnamurthy: Database Updates in Logic Programming. PODS 1988: 251-262 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[27]
Teodor C. Przymusinski: On the Declarative Semantics of Deductive Databases and Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 193-216 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[28]
Teodor C. Przymusinski: On the Declarative and Procedural Semantics of Logic Programs. J. Autom. Reasoning 5(2): 167-205(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[29]
Raghu Ramakrishnan, Jeffrey D. Ullman: A survey of deductive database systems. J. Log. Program. 23(2): 125-149(1995) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[30]
Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Dynamic Database Logic: the First-order Case. FMLDO 1992: 103-120 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[31]
Ernest Teniente, Antoni Olivé: The Events Method for View Updating in Deductive Databases. EDBT 1992: 245-260 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[32]
Allen Van Gelder: The Alternating Fixpoint of Logic Programs with Negation. J. Comput. Syst. Sci. 47(1): 185-221(1993) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[33]
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
[34]
David Scott Warren: Database Updates in Pure Prolog. FGCS 1984: 244-253 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[35]
...

Copyright © Fri Mar 12 17:33:43 2010 by Michael Ley (ley@uni-trier.de)