The aditi deductive database system |
| |
Authors: | Jayen Vaghanl BSc Kotagiri Ramamohanarao Ph.D. David B. Kemp Ph.D. Zoltan Somogyi Ph.D. Peter J. Stuckey Ph.D. Tim S. Leask BSc James Harland Ph.D. |
| |
Affiliation: | (1) Collaborative Information Technology Research Institute, Department of Computer Science, University of Melbourne and RMIT, 3052 Parkville, Victoria, Australia |
| |
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: | Logic implementation multi-user parallelism relational database |
本文献已被 SpringerLink 等数据库收录! |