The aditi deductive database system

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

doi:10.1007/BF01228882

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 journal › Article › Research › peer-review

27 Citations (Scopus)

Abstract

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 language	English
Pages (from-to)	245-288
Number of pages	44
Journal	The VLDB Journal
Volume	3
Issue number	2
DOIs	https://doi.org/10.1007/BF01228882
Publication status	Published - 1 Apr 1994
Externally published	Yes

Keywords

implementation
Logic
multi-user
parallelism
relational database

Access to Document

10.1007/BF01228882

Cite this

@article{e915e5b8eb544564b0118bf541fc22ee,

title = "The aditi deductive database system",

abstract = "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.",

keywords = "implementation, Logic, multi-user, parallelism, relational database",

author = "Jayen Vaghanl and Kotagiri Ramamohanarao and Kemp, {David B.} and Zoltan Somogyi and Stuckey, {Peter J.} and Leask, {Tim S.} and James Harland",

year = "1994",

month = apr,

day = "1",

doi = "10.1007/BF01228882",

language = "English",

volume = "3",

pages = "245--288",

journal = "The VLDB Journal",

issn = "1066-8888",

publisher = "A C M Special Interest Group",

number = "2",

}

TY - JOUR

T1 - The aditi deductive database system

AU - Vaghanl, Jayen

AU - Ramamohanarao, Kotagiri

AU - Kemp, David B.

AU - Somogyi, Zoltan

AU - Stuckey, Peter J.

AU - Leask, Tim S.

AU - Harland, James

PY - 1994/4/1

Y1 - 1994/4/1

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

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

KW - implementation

KW - Logic

KW - multi-user

KW - parallelism

KW - relational database

UR - http://www.scopus.com/inward/record.url?scp=0000891764&partnerID=8YFLogxK

U2 - 10.1007/BF01228882

DO - 10.1007/BF01228882

M3 - Article

AN - SCOPUS:0000891764

SN - 1066-8888

VL - 3

SP - 245

EP - 288

JO - The VLDB Journal

JF - The VLDB Journal

IS - 2

ER -

The aditi deductive database system

Abstract

Keywords

Access to Document

Other files and links

Cite this