| 1998 |
|---|
| 23 | Efficient Recursive Aggregation and Negation in Deductive Databases. David B. Kemp, Kotagiri Ramamohanarao. IEEE Trans. Knowl. Data Eng. (10): 727-745 (1998). Web SearchBibTeXDownload |
| 1997 |
|---|
| 22 | Database Transactions in a Purely Declarative Logic Programming Language. David B. Kemp, Thomas Conway, Evan P. Harris, Fergus Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi. DASFAA 1997, 283-292. Web SearchBibTeX |
| 21 | An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs. David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey. Journal of Systems Integration (7): 191-230 (1997). Web SearchBibTeXDownload |
| 1996 |
|---|
| 20 | Optimizing Bottom-Up Evaluation of Constraint Queries. David B. Kemp, Peter J. Stuckey. J. Log. Program. (26): 1-30 (1996). Web SearchBibTeXDownload |
| 1995 |
|---|
| 19 | ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS. David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey. DOOD 1995, 91-108. Web SearchBibTeXDownload |
| 18 | Active Databases and Agent Systems - A Comparison. James Bailey, Michael P. Georgeff, David B. Kemp, David Kinny, Kotagiri Ramamohanarao. Rules in Database Systems 1995, 342-356. Cited by 48Web SearchBibTeXDownload |
| 17 | Bottom-Up Evaluation and Query Optimization of Well-Founded Models. David B. Kemp, Divesh Srivastava, Peter J. Stuckey. Theor. Comput. Sci. (146): 145-184 (1995). Cited by 50Web SearchBibTeXDownload |
| 1994 |
|---|
| 16 | Syntactically Recognizable Modularly Stratified Programs. David B. Kemp, Kotagiri Ramamohanarao. Australasian Database Conference 1994, 147-161. Web SearchBibTeX |
| 15 | Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures. Zoltan Somogyi, David B. Kemp, James Harland, Kotagiri Ramamohanarao. EDBT 1994, 59-72. Web SearchBibTeXDownload |
| 14 | The Aditi Deductive Database System. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland. VLDB J. (3): 245-288 (1994). Web SearchBibTeX |
| 13 | A Deductive Database Solution to the Preferential Vote Counting Problem. David B. Kemp, Kotagiri Ramamohanarao. Workshop on Deductive Databases and Logic Programming 1994, 143-158. Web SearchBibTeX |
| 1993 |
|---|
| 12 | Status of the Aditi Deductive Database System. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland. ICLP 1993, 851. Web SearchBibTeX |
| 11 | Analysis Based Constraint Query Optimization. David B. Kemp, Peter J. Stuckey. ICLP 1993, 666-682. Web SearchBibTeX |
| 10 | The Aditi Deductive Datebase System. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993, 161. Web SearchBibTeX |
| 1992 |
|---|
| 9 | Query Restricted Bottom-Up Evaluation of Normal Logic Programs. David B. Kemp, Peter J. Stuckey, Divesh Srivastava. JICSLP 1992, 288-302. Cited by 30Web SearchBibTeX |
| 1991 |
|---|
| 8 | An Introduction to Aditi Deductive Database System. Jayen Vaghani, David B. Kemp, Peter J. Stuckey. Australian Computer Journal (23): 37-52 (1991). Web SearchBibTeX |
| 7 | Design Overview of the Aditi Deductive Database System. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey. ICDE 1991, 240-247. Web SearchBibTeXDownload |
| 6 | Semantics of Logic Programs with Aggregates. David B. Kemp, Peter J. Stuckey. ISLP 1991, 387-401. Web SearchBibTeX |
| 5 | Magic Sets and Bottom-Up Evaluation of Well-Founded Models. David B. Kemp, Divesh Srivastava, Peter J. Stuckey. ISLP 1991, 337-351. Cited by 73Web SearchBibTeX |
| 1990 |
|---|
| 4 | Right-, left- and multi-linear rule transformations that maintain context information. David B. Kemp, Kotagiri Ramamohanarao, Zoltan Somogyi. VLDB 1990, 380-391. Web SearchBibTeX |
| 3 | Design Overview of the Aditi Deductive Database System. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey. Workshop on Deductive Databases 1990. Web SearchBibTeX |
| 1989 |
|---|
| 2 | Propagating Constraints in Recusive Deduction Databases. David B. Kemp, Kotagiri Ramamohanarao, Isaac Balbin, Krishnamurthy Meenakshi. NACLP 1989, 981-998. Web SearchBibTeX |
| 1988 |
|---|
| 1 | Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases. David B. Kemp, Rodney W. Topor. ICLP/SLP 1988, 178-194. Web SearchBibTeX |
