BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kemp:David_B=

Contributed to:

ICLP 19931993
JICSLP 19921992
ILPS 19911991
VLDB 19901990
NACLP 19891989
ICLP/SPL 19881988

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.