The fields of deductive databases and logic programming are intimately re-
lated. Theoretical developments in one area have impacted on the other. This is
not surprising as both subjects are an outgrowth of work in automated theorem
proving. Much exciting research is being conducted in both of these areas.
However, the research in each area is presented at conferences where the two
groups do not generally intersect. Research in deductive databases is beginning
to appear in database conference
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month, and much more.