David B. Kemp

ORCID

Publication Activity (10 Years)

Years Active: 1988-2014
Publications (10 Years): 0

Top Venues

Comput. Geosci.

University of Melbourne, Department of Computer Science (PHD)

Education History

University of Melbourne, Department of Computer Science

PHD

Publications

David B. Kemp
Colorimetric characterisation of flatbed scanners for rock/sediment imaging. Comput. Geosci. 67 (2014)
David B. Kemp, Kotagiri Ramamohanarao
Efficient Recursive Aggregation and Negation in Deductive Databases. IEEE Trans. Knowl. Data Eng. 10 (5) (1998)
David B. Kemp, Thomas C. Conway, Evan P. Harris, Fergus Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi
Database Transactions in a Purely Declarative Logic Programming Language. DASFAA (1997)
David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey
An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs. J. Syst. Integr. 7 (3/4) (1997)
David B. Kemp, Peter J. Stuckey
Optimizing Bottom-Up Evaluation of Constraint Queries. J. Log. Program. 26 (1) (1996)
David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey
ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS. DOOD (1995)
David B. Kemp, Divesh Srivastava, Peter J. Stuckey
Bottom-Up Evaluation and Query Optimization of Well-Founded Models. Theor. Comput. Sci. 146 (1&2) (1995)
James Bailey, Michael P. Georgeff, David B. Kemp, David Kinny, Kotagiri Ramamohanarao
Active Databases and Agent Systems - A Comparison. Rules in Database Systems (1995)
Zoltan Somogyi, David B. Kemp, James Harland, Kotagiri Ramamohanarao
Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures. EDBT (1994)
David B. Kemp, Kotagiri Ramamohanarao
Syntactically Recognizable Modularly Stratified Programs. Australasian Database Conference (1994)
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) (1994)
David B. Kemp, Kotagiri Ramamohanarao
A Deductive Database Solution to the Preferential Vote Counting Problem. Workshop on Deductive Databases and Logic Programming (1994)
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)
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)
David B. Kemp, Peter J. Stuckey
Analysis Based Constraint Query Optimization. ICLP (1993)
David B. Kemp, Peter J. Stuckey, Divesh Srivastava
Query Restricted Bottom-Up Evaluation of Normal Logic Programs. JICSLP (1992)
David B. Kemp, Divesh Srivastava, Peter J. Stuckey
Magic Sets and Bottom-Up Evaluation of Well-Founded Models. ISLP (1991)
Jayen Vaghani, David B. Kemp, Peter J. Stuckey
An Introduction to Aditi Deductive Database System. Aust. Comput. J. 23 (1) (1991)
Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey
Design Overview of the Aditi Deductive Database System. ICDE (1991)
David B. Kemp, Peter J. Stuckey
Semantics of Logic Programs with Aggregates. ISLP (1991)
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)
David B. Kemp, Kotagiri Ramamohanarao, Zoltan Somogyi
Right-, left- and multi-linear rule transformations that maintain context information. VLDB (1990)
David B. Kemp, Kotagiri Ramamohanarao, Isaac Balbin, Krishnamurthy Meenakshi
Propagating Constraints in Recusive Deduction Databases. NACLP (1989)
David B. Kemp, Rodney W. Topor
Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases. ICLP/SLP (1988)

David B. Kemp.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David B. Kemp