David B. Kemp

According to our database, David B. Kemp authored at least 24 papers between 1988 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Colorimetric characterisation of flatbed scanners for rock/sediment imaging.

David B. Kemp

Comput. Geosci., 2014

1998

Efficient Recursive Aggregation and Negation in Deductive Databases.

David B. Kemp, Kotagiri Ramamohanarao

IEEE Trans. Knowl. Data Eng., 1998

1997

An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs.

David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey

J. Syst. Integr., 1997

Database Transactions in a Purely Declarative Logic Programming Language.

David B. Kemp, Thomas C. Conway, Evan P. Harris, Fergus Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi

Proceedings of the Database Systems for Advanced Applications '97, 1997

1996

Optimizing Bottom-Up Evaluation of Constraint Queries.

David B. Kemp, Peter J. Stuckey

J. Log. Program., 1996

1995

Bottom-Up Evaluation and Query Optimization of Well-Founded Models.

David B. Kemp, Divesh Srivastava, Peter J. Stuckey

Theor. Comput. Sci., 1995

Active Databases and Agent Systems - A Comparison.

James Bailey, Michael P. Georgeff, David B. Kemp, David Kinny, Kotagiri Ramamohanarao

Proceedings of the Rules in Database Systems, Second International Workshop, 1995

ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS.

David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey

Proceedings of the Deductive and Object-Oriented Databases, 1995

1994

The Aditi Deductive Database System

Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland

VLDB J., 1994

Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures.

Zoltan Somogyi, David B. Kemp, James Harland, Kotagiri Ramamohanarao

Proceedings of the Advances in Database Technology, 1994

A Deductive Database Solution to the Preferential Vote Counting Problem.

David B. Kemp, Kotagiri Ramamohanarao

Proceedings of the Workshop on Deductive Databases and Logic Programming, 1994

Syntactically Recognizable Modularly Stratified Programs.

David B. Kemp, Kotagiri Ramamohanarao

Proceedings of the 5th Australasian Database Conference, 1994

1993

Status of the Aditi Deductive Database System.

Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland

Proceedings of the Logic Programming, 1993

Analysis Based Constraint Query Optimization.

David B. Kemp, Peter J. Stuckey

Proceedings of the Logic Programming, 1993

The Aditi Deductive Datebase System.

Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland

Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, 1993

1992

On the Foundations of Query Evaluation in Deductive Databases

David B. Kemp

PhD thesis, 1992

Query Restricted Bottom-Up Evaluation of Normal Logic Programs.

David B. Kemp, Peter J. Stuckey, Divesh Srivastava

Proceedings of the Logic Programming, 1992

1991

An Introduction to Aditi Deductive Database System.

Jayen Vaghani, David B. Kemp, Peter J. Stuckey

Aust. Comput. J., 1991

Magic Sets and Bottom-Up Evaluation of Well-Founded Models.

David B. Kemp, Divesh Srivastava, Peter J. Stuckey

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Semantics of Logic Programs with Aggregates.

David B. Kemp, Peter J. Stuckey

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Design Overview of the Aditi Deductive Database System.

Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey

Proceedings of the Seventh International Conference on Data Engineering, 1991

1990

Right-, left- and multi-linear rule transformations that maintain context information.

David B. Kemp, Kotagiri Ramamohanarao, Zoltan Somogyi

Proceedings of the 16th International Conference on Very Large Data Bases, 1990

1989

Propagating Constraints in Recusive Deduction Databases.

David B. Kemp, Kotagiri Ramamohanarao, Isaac Balbin, Krishnamurthy Meenakshi

Proceedings of the Logic Programming, 1989

1988

Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases.

David B. Kemp, Rodney W. Topor

Proceedings of the Logic Programming, 1988