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