Travelled to:1 × Australia
1 × Hungary
4 × USA
Collaborated with:P.J.Stuckey K.Ramamohanarao D.Srivastava R.W.Topor Z.Somogyi I.Balbin K.Meenakshi J.Vaghani T.S.Leask J.Harland
Talks about:databas (3) queri (3) evalu (3) constraint (2) program (2) deduct (2) bottom (2) logic (2) up (2) transform (1)
Person: David B. Kemp
DBLP: Kemp:David_B=
Contributed to:
199319921991
199019891988Wrote 8 papers:
- ICLP-1993-KempS #analysis #constraints #optimisation #query
- Analysis Based Constraint Query Optimization (DBK, PJS), pp. 666–682.
- ICLP-1993-VaghaniRKSSLH #database #deduction
- Status of the Aditi Deductive Database System (JV, KR, DBK, ZS, PJS, TSL, JH), p. 851.
- JICSLP-1992-KempSS #bottom-up #evaluation #logic programming #query #source code #strict
- Query Restricted Bottom-Up Evaluation of Normal Logic Programs (DBK, PJS, DS), pp. 288–302.
- ISLP-1991-KempS #logic programming #semantics #source code
- Semantics of Logic Programs with Aggregates (DBK, PJS), pp. 387–401.
- ISLP-1991-KempSS #bottom-up #evaluation #modelling #set
- Magic Sets and Bottom-Up Evaluation of Well-Founded Models (DBK, DS, PJS), pp. 337–351.
- VLDB-1990-KempRS #information management #maintenance #multi
- Right-, left- and multi-linear rule transformations that maintain context information (DBK, KR, ZS), pp. 380–391.
- NACLP-1989-KempRBM #constraints #database #deduction
- Propagating Constraints in Recusive Deduction Databases (DBK, KR, IB, KM), pp. 981–998.
- JICSCP-1988-KempT88 #database #evaluation #query #top-down
- Completeness of a Top-Down Query Evaluation Procedure for Stratified Databases (DBK, RWT), pp. 178–194.