David B. Kemp

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