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

@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 BibTeX

[2]

Serge Abiteboul, Victor Vianu: Non-Determinism in Logic-Based Languages. Ann. Math. Artif. Intell. 3(2-4): 151-186(1991) BibTeX

[3]

Serge Abiteboul, Victor Vianu: Datalog Extensions for Database Queries and Updates. J. Comput. Syst. Sci. 43(1): 62-124(1991) BibTeX

[4]

Serge Abiteboul, Victor Vianu: Procedural Languages for Database Queries and Updates. J. Comput. Syst. Sci. 41(2): 181-229(1990) BibTeX

[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 BibTeX

[6]

Krzysztof R. Apt, Maarten H. van Emden: Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862(1982) BibTeX

[7]

Elisa Bertino, Maurizio Martelli, Danilo Montesi: Modeling Database Updates with Constraint Logic Programming. Workshop on Deductive Databases, JICSLP 1992: 175-184 BibTeX

[8]

Anthony J. Bonner: Hypothetical Datalog: Complexity and Expressibility. Theor. Comput. Sci. 76(1): 3-51(1990) BibTeX

[9]

Anthony J. Bonner, Michael Kifer: Transaction Logic Programming. ICLP 1993: 257-279 BibTeX

[10]

François Bry: Intensional Updates: Abduction via Deduction. ICLP 1990: 561-575 BibTeX

[11]

Weidong Chen: Declarative Updates of Relational Databases. ACM Trans. Database Syst. 20(1): 42-70(1995) BibTeX

[12]

Weidong Chen: Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics. ACM Trans. Database Syst. 20(3): 239-287(1995) BibTeX

[13]

Weidong Chen: Declarative Specification and Evaluation of Database Updates. DOOD 1991: 147-166 BibTeX

[14]

Weidong Chen, David Scott Warren: Query Evaluation under the Well Founded Semantics. PODS 1993: 168-179 BibTeX

[15]

W. F. Clocksin, Chris Mellish: Programming in Prolog, 2nd Edition. Springer 1984
BibTeX

[16]

Dov M. Gabbay, Uwe Reyle: N-Prolog: An Extension of Prolog with Hypothetical Implications I. J. Log. Program. 1(4): 319-355(1984) BibTeX

[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 BibTeX

[18]

David Harel: First-Order Dynamic Logic. Lecture Notes in Computer Science Vol. 68 Springer 1979, ISBN 3-540-09237-4
BibTeX

[19]

Richard Hull, Dean Jacobs: Language Constructs for Programming Active Databases. VLDB 1991: 455-467 BibTeX

[20]

Dean Jacobs, Richard Hull: Database Programming with Delayed Updates. DBPL 1991: 416-428 BibTeX

[21]

Antonis C. Kakas, Paolo Mancarella: Database Updates through Abduction. VLDB 1990: 650-661 BibTeX

[22]

Hirofumi Katsuno, Alberto O. Mendelzon: On the Difference between Updating a Knowledge Base and Revising It. KR 1991: 387-394 BibTeX

[23]

Abraham Silberschatz, Henry F. Korth: Database System Concepts, 2nd Edition. McGraw-Hill Book Company 1991
BibTeX

[24]

...

[25]

Sanjay Manchanda, David Scott Warren: A Logic-based Language for Database Updates. Foundations of Deductive Databases and Logic Programming. 1988: 363-394 BibTeX

[26]

Shamim A. Naqvi, Ravi Krishnamurthy: Database Updates in Logic Programming. PODS 1988: 251-262 BibTeX

[27]

Teodor C. Przymusinski: On the Declarative Semantics of Deductive Databases and Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 193-216 BibTeX

[28]

Teodor C. Przymusinski: On the Declarative and Procedural Semantics of Logic Programs. J. Autom. Reasoning 5(2): 167-205(1989) BibTeX

[29]

Raghu Ramakrishnan, Jeffrey D. Ullman: A survey of deductive database systems. J. Log. Program. 23(2): 125-149(1995) BibTeX

[30]

Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Dynamic Database Logic: the First-order Case. FMLDO 1992: 103-120 BibTeX

[31]

Ernest Teniente, Antoni Olivé: The Events Method for View Updating in Deductive Databases. EDBT 1992: 245-260 BibTeX

[32]

Allen Van Gelder: The Alternating Fixpoint of Logic Programs with Negation. J. Comput. Syst. Sci. 47(1): 185-221(1993) BibTeX

[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) BibTeX

[34]

David Scott Warren: Database Updates in Pure Prolog. FGCS 1984: 244-253 BibTeX

[35]

...