Efficient Recursive Aggregation and Negation in Deductive Databases.

@article{DBLP:journals/tkde/KempR98,
  author    = {David B. Kemp and
               Kotagiri Ramamohanarao},
  title     = {Efficient Recursive Aggregation and Negation in Deductive Databases},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {10},
  number    = {5},
  year      = {1998},
  pages     = {727-745},
  ee        = {db/journals/tkde/KempR98.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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

Online Edition: IEEE Computer Society DL

References

[1]

Isaac Balbin, Kotagiri Ramamohanarao: A Generalization of the Differential Approach to Recursive Query Evaluation. J. Log. Program. 4(3): 259-262(1987) BibTeX

[2]

François Bancilhon: Naive Evaluation of Recursively Defined Relations. On Knowledge Base Management Systems (Islamorada) 1985: 165-178 BibTeX

[3]

François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman: Magic Sets and Other Strange Ways to Implement Logic Programs. PODS 1986: 1-15 BibTeX

[4]

Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. PODS 1987: 269-284 BibTeX

[5]

Stefano Ceri, Georg Gottlob, Letizia Tanca: Logic Programming and Databases. Springer 1990, ISBN 3-540-51728-6
BibTeX

[6]

Weidong Chen, Terrance Swift, David Scott Warren: Efficient Top-Down Computation of Queries under the Well-Founded Semantics. J. Log. Program. 24(3): 161-199(1995) BibTeX

[7]

Weidong Chen, David Scott Warren: Tabled Evaluation With Delaying for General Logic Programs. J. ACM 43(1): 20-74(1996) BibTeX

[8]

Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 BibTeX

[9]

...

[10]

Sumit Ganguly, Sergio Greco, Carlo Zaniolo: Minimum and Maximum Predicates in Logic Programming. PODS 1991: 154-163 BibTeX

[11]

Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080 BibTeX

[12]

Sergio Greco, Carlo Zaniolo, Sumit Ganguly: Greedy by Choice. PODS 1992: 105-113 BibTeX

[13]

David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey: ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS. DOOD 1995: 91-108 BibTeX

[14]

David B. Kemp, Kotagiri Ramamohanarao: Syntactically Recognizable Modularly Stratified Programs. Australasian Database Conference 1994: 147-161 BibTeX

[15]

David B. Kemp, Kotagiri Ramamohanarao: A Deductive Database Solution to the Preferential Vote Counting Problem. Workshop on Deductive Databases and Logic Programming 1994: 143-158 BibTeX

[16]

David B. Kemp, Divesh Srivastava, Peter J. Stuckey: Bottom-Up Evaluation and Query Optimization of Well-Founded Models. Theor. Comput. Sci. 146(1&2): 145-184(1995) BibTeX

[17]

David B. Kemp, Peter J. Stuckey: Semantics of Logic Programs with Aggregates. ISLP 1991: 387-401 BibTeX

[18]

Phokion G. Kolaitis, Christos H. Papadimitriou: Why Not Negation by Fixpoint? PODS 1988: 231-239 BibTeX

[19]

...

[20]

Alexandre Lefebvre: Towards an Efficient Evaluation of Recursive Aggregates in Deductive Databases. New Generation Comput. 12(2): 131-160(1994) BibTeX

[21]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
BibTeX

[22]

John W. Lloyd, Rodney W. Topor: Making Prolog more Expressive. J. Log. Program. 1(3): 225-240(1984) BibTeX

[23]

Inderpal Singh Mumick, Hamid Pirahesh, Raghu Ramakrishnan: The Magic of Duplicates and Aggregates. VLDB 1990: 264-277 BibTeX

[24]

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

[25]

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: Controlling the Search in Bottom-Up Evaluation. JICSLP 1992: 273-287 BibTeX

[26]

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri: The CORAL Deductive System. VLDB J. 3(2): 161-210(1994) BibTeX

[27]

Kenneth A. Ross: Modular Stratification and Magic Sets for DATALOG Programs with Negation. PODS 1990: 161-171 BibTeX

[28]

Kenneth A. Ross, Yehoshua Sagiv: Monotonic Aggregation in Deductive Databases. PODS 1992: 114-126 BibTeX

[29]

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453 BibTeX

[30]

S. Sudarshan, Raghu Ramakrishnan: Aggregation and Relevance in Deductive Databases. VLDB 1991: 501-511 BibTeX

[31]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX

[32]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents BibTeX

[33]

Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland: The Aditi Deductive Database System. VLDB J. 3(2): 245-288(1994) BibTeX

[34]

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

[35]

Carlo Zaniolo, Natraj Arni, KayLiang Ong: Negation and Aggregates in Recursive Rules: the LDL++ Approach. DOOD 1993: 204-221 BibTeX