David B. Kemp Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1998
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Kemp, Kotagiri Ramamohanarao: Efficient Recursive Aggregation and Negation in Deductive Databases. IEEE Trans. Knowl. Data Eng. 10(5): 727-745 (1998)
1997
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Kemp, Thomas Conway, Evan P. Harris, Fergus Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi: Database Transactions in a Purely Declarative Logic Programming Language. DASFAA 1997: 283-292
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey: An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs. Journal of Systems Integration 7(3/4): 191-230 (1997)
1996
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Kemp, Peter J. Stuckey: Optimizing Bottom-Up Evaluation of Constraint Queries. J. Log. Program. 26(1): 1-30 (1996)
1995
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Bailey, Michael P. Georgeff, David B. Kemp, David Kinny, Kotagiri Ramamohanarao: Active Databases and Agent Systems - A Comparison. Rules in Database Systems 1995: 342-356
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
1994
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Kemp, Kotagiri Ramamohanarao: Syntactically Recognizable Modularly Stratified Programs. Australasian Database Conference 1994: 147-161
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltan Somogyi, David B. Kemp, James Harland, Kotagiri Ramamohanarao: Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures. EDBT 1994: 59-72
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Kemp, Kotagiri Ramamohanarao: A Deductive Database Solution to the Preferential Vote Counting Problem. Workshop on Deductive Databases and Logic Programming 1994: 143-158
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayen 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)
1993
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Kemp, Peter J. Stuckey: Analysis Based Constraint Query Optimization. ICLP 1993: 666-682
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland: Status of the Aditi Deductive Database System. ICLP 1993: 851
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland: The Aditi Deductive Datebase System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 161
1992
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Kemp, Peter J. Stuckey, Divesh Srivastava: Query Restricted Bottom-Up Evaluation of Normal Logic Programs. JICSLP 1992: 288-302
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Kemp: On the Foundations of Query Evaluation in Deductive Databases University of Melbourne, Department of Computer Science 1992
1991
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey: Design Overview of the Aditi Deductive Database System. ICDE 1991: 240-247
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Kemp, Divesh Srivastava, Peter J. Stuckey: Magic Sets and Bottom-Up Evaluation of Well-Founded Models. ISLP 1991: 337-351
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Kemp, Peter J. Stuckey: Semantics of Logic Programs with Aggregates. ISLP 1991: 387-401
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayen Vaghani, David B. Kemp, Peter J. Stuckey: An Introduction to Aditi Deductive Database System. Australian Computer Journal 23(1): 37-52 (1991)
1990
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Kemp, Kotagiri Ramamohanarao, Zoltan Somogyi: Right-, left- and multi-linear rule transformations that maintain context information. VLDB 1990: 380-391
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey: Design Overview of the Aditi Deductive Database System. Workshop on Deductive Databases 1990: 0-
1989
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Kemp, Kotagiri Ramamohanarao, Isaac Balbin, Krishnamurthy Meenakshi: Propagating Constraints in Recusive Deduction Databases. NACLP 1989: 981-998
1988
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Kemp, Rodney W. Topor: Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases. ICLP/SLP 1988: 178-194

Coauthor Index

1James Bailey [19]
2Isaac Balbin [2]
3Thomas Conway [23]
4Michael P. Georgeff [19]
5James Harland [11] [12] [14] [16]
6Evan P. Harris [23]
7Fergus Henderson [23]
8David Kinny [19]
9Tim S. Leask [11] [12] [14]
10Krishnamurthy Meenakshi [2]
11Kotagiri Ramamohanarao [2] [3] [4] [8] [11] [12] [14] [15] [16] [17] [19] [20] [22] [23] [24]
12Zoltan Somogyi [3] [4] [8] [11] [12] [14] [16] [23]
13Divesh Srivastava [7] [10] [18]
14Peter J. Stuckey [3] [5] [6] [7] [8] [10] [11] [12] [13] [14] [18] [20] [21] [22]
15Rodney W. Topor [1]
16Jayen Vaghani [3] [5] [8] [11] [12] [14]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)