The aditi deductive database system

Jayen Vaghanl, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland

Research output: Contribution to journalArticleResearchpeer-review

9 Citations (Scopus)


Deductive databases generalize relational databases by providing support for recursive views and non-atomic data. Aditi is a deductive system based on the client-server model; it is inherently multi-user and capable of exploiting parallelism on shared-memory multiprocessors. The back-end uses relational technology for efficiency in the management of disk-based data and uses optimization algorithms especially developed for the bottom-up evaluation of logical queries involving recursion. The front-end interacts with the user in a logical language that has more expressive power than relational query languages. We present the structure of Aditi, discuss its components in some detail, and present performance figures.

Original languageEnglish
Pages (from-to)245-288
Number of pages44
JournalThe VLDB Journal
Issue number2
Publication statusPublished - 1 Apr 1994
Externally publishedYes


  • implementation
  • Logic
  • multi-user
  • parallelism
  • relational database

Cite this