Aditi(ID:7128/ADI001)

"Aditi is named after the goddess who in Indian mythology is the personification of the infinite and the mother of the gods"

Prolog with relational and transactional extensions, Machine Intelligence Project, Univ. of Melbourne, Australia  



"The Aditi Deductive Database System is a multi-user deductive database system. It supports base relations defined by facts (relations in the sense of relational databases) and derived relations defined by rules that specify how to compute new information from old information. Both base relations and the rules defining derived relations are stored on disk and are accessed as required during query evaluation. The rules defining derived relations are expressed in a Prolog-like language, which is also used for expressing queries. Aditi supports the full structured data capability of Prolog. Base relations can store arbitrarily nested terms, for example arbitrary length lists, and rules can directly manipulate such terms. Base relations can be indexed with B-trees or multi-level signature files. Users can access the system through a Motif-based query and database administration tool, or through a command line interface. There is also in interface that allows NU-Prolog programs to access Aditi in a transparent manner. Proper transaction processing is not supported in this release."

Related languages
NU-Prolog => Aditi   Extension of
References:
  • Vaghani, Jayen ; Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey: Design Overview of the Aditi Deductive Database System. ICDE 1991: 240-247 view details
  • Kemp, David B. Kotagiri Ramamohanarao, Zoltan Somogyi: Right-, left- and multi-linear rule transformations that maintain context information. VLDB 1990: 380-391 view details
  • Ramamohanarao, Kotagiri The Aditi Deductive Database System (Extented Abstract). DASFAA 1991: 201-208 view details
  • Vaghani, Jayen ; Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey: An Introduction to the Aditi Deductive Database System. The Australian Computer Journal 23(2): 37-52 (May 1991) view details
  • James Harland, David B. Kemp, Tim S. Leask, Kotagiri Ramamohanarao, John A. Shepherd, Zoltan Somogyi, Peter J. Stuckey and Jayen Vaghani. "Aditi users' guide" UoM Technical Report 92/26 view details
  • James Harland, David B. Kemp, Tim S. Leask, Kotagiri Ramamohanarao, John A. Shepherd, Zoltan Somogyi, Peter J. Stuckey and Jayen Vaghani. "Aditi-Prolog language manual" UoM Technical Report 92/27 view details
  • An Aditi implementation of a flights database J. Harland and K. Ramamohanarao. Proceedings of the ILPS '93 Workshop on Programming with Logic Databases, Vancouver, Canada, October 1993. view details
  • Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask and James Harland. "The Aditi deductive database system" UoM Technical Report 93/10 view details
  • Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask and James Harland. "The Aditi deductive database system" The VLDB Journal, 3(2), 245--288, 1994. view details
    Resources