David B. Kemp - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2014

Colorimetric characterisation of flatbed scanners for rock/sediment imagingDavid B. Kemp. gandc, 67:69-74, 2014. [doi]

1998

Efficient Recursive Aggregation and Negation in Deductive DatabasesDavid B. Kemp, Kotagiri Ramamohanarao. tkde, 10(5):727-745, 1998. [doi]

1997

Database Transactions in a Purely Declarative Logic Programming LanguageDavid B. Kemp, Thomas Conway, Evan P. Harris, Fergus Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi. dasfaa 1997: 283-292 [doi]

An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified ProgramsDavid B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey. jsi, 7(3/4):191-230, 1997.

1996

Optimizing Bottom-Up Evaluation of Constraint QueriesDavid B. Kemp, Peter J. Stuckey. jlp, 26(1):1-30, 1996.

1995

Active Databases and Agent Systems - A ComparisonJames Bailey, Michael P. Georgeff, David B. Kemp, David Kinny, Kotagiri Ramamohanarao. rules 1995: 342-356

ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELSDavid B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey. DOOD 1995: 91-108

Bottom-Up Evaluation and Query Optimization of Well-Founded ModelsDavid B. Kemp, Divesh Srivastava, Peter J. Stuckey. TCS, 146(1&2):145-184, 1995. [doi]

1994

1993

1992

On the Foundations of Query Evaluation in Deductive DatabasesDavid B. Kemp. PhD thesis, University of Melbourne, Department of Computer Science, 1992.

Query Restricted Bottom-Up Evaluation of Normal Logic ProgramsDavid B. Kemp, Peter J. Stuckey, Divesh Srivastava. ICLP 1992: 288-302

1991

1990

Right-, left- and multi-linear rule transformations that maintain context informationDavid B. Kemp, Kotagiri Ramamohanarao, Zoltan Somogyi. VLDB 1990: 380-391 [doi]

Design Overview of the Aditi Deductive Database SystemJayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey. deductive 1990:

1989

Propagating Constraints in Recusive Deduction DatabasesDavid B. Kemp, Kotagiri Ramamohanarao, Isaac Balbin, Krishnamurthy Meenakshi. SLP 1989: 981-998

1988

Completeness of a Top-Down Query Evaluation Procedure for Stratified DatabasesDavid B. Kemp, Rodney W. Topor. ICLP 1988: 178-194

Sign in or sign up to see more results.

runs on WebDSL