dblp.uni-trier.dewww.uni-trier.de

David B. Kemp Vis

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

*1998
24EEDavid B. Kemp, Kotagiri Ramamohanarao: Efficient Recursive Aggregation and Negation in Deductive Databases. IEEE Trans. Knowl. Data Eng. 10(5): 727-745 (1998)
1997
23EEDavid 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
22 David 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
21 David B. Kemp, Peter J. Stuckey: Optimizing Bottom-Up Evaluation of Constraint Queries. J. Log. Program. 26(1): 1-30 (1996)
1995
20EEDavid 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
19 James 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
18EEDavid 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
17 David B. Kemp, Kotagiri Ramamohanarao: Syntactically Recognizable Modularly Stratified Programs. Australasian Database Conference 1994: 147-161
16EEZoltan 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
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
14EEJayen 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
13 David B. Kemp, Peter J. Stuckey: Analysis Based Constraint Query Optimization. ICLP 1993: 666-682
12 Jayen 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
11 Jayen 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
10 David B. Kemp, Peter J. Stuckey, Divesh Srivastava: Query Restricted Bottom-Up Evaluation of Normal Logic Programs. JICSLP 1992: 288-302
9 David B. Kemp: On the Foundations of Query Evaluation in Deductive Databases University of Melbourne, Department of Computer Science 1992
1991
8EEJayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey: Design Overview of the Aditi Deductive Database System. ICDE 1991: 240-247
7 David B. Kemp, Divesh Srivastava, Peter J. Stuckey: Magic Sets and Bottom-Up Evaluation of Well-Founded Models. ISLP 1991: 337-351
6 David B. Kemp, Peter J. Stuckey: Semantics of Logic Programs with Aggregates. ISLP 1991: 387-401
5 Jayen Vaghani, David B. Kemp, Peter J. Stuckey: An Introduction to Aditi Deductive Database System. Australian Computer Journal 23(1): 37-52 (1991)
1990
4EEDavid B. Kemp, Kotagiri Ramamohanarao, Zoltan Somogyi: Right-, left- and multi-linear rule transformations that maintain context information. VLDB 1990: 380-391
3 Jayen 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
2 David B. Kemp, Kotagiri Ramamohanarao, Isaac Balbin, Krishnamurthy Meenakshi: Propagating Constraints in Recusive Deduction Databases. NACLP 1989: 981-998
1988
1 David 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 © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)