H ? « ‹ ← → › »

Language peer sets for Aditi:
Australia↑
Australia/1992↑
Designed 1992 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

Aditi(ID:7128/ADI001)

alternate simple view
Country: Australia
Designed 1992

"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. (1919) Vaghani, Jayen ; Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey: Design Overview of the Aditi Deductive Database System. ICDE 1991: 240-247
  • Kemp, David B. (1990) Kemp, David B. Kotagiri Ramamohanarao, Zoltan Somogyi: Right-, left- and multi-linear rule transformations that maintain context information. VLDB 1990: 380-391
  • Ramamohanarao, Kotagiri The Aditi Deductive Databa (1991) Ramamohanarao, Kotagiri The Aditi Deductive Database System (Extented Abstract). DASFAA 1991: 201-208
  • Vaghani, Jayen ; Kotagiri Ramamohanarao, David B. (1991) 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)
  • James Harland, David B. Kemp, Tim S. Leask, Kotagi (1992) 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
  • James Harland, David B. Kemp, Tim S. Leask, Kotagi (1992) 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
  • An Aditi implementation of a flights database J. (1993) 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.
  • Jayen Vaghani, Kotagiri Ramamohanarao, David B. Ke (1993) 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
  • Jayen Vaghani, Kotagiri Ramamohanarao, David B. Ke (1994) 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.
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder