\adˈiːti], \adˈiːti], \a_d_ˈiː_t_i]\
Sort: Oldest first
By Princeton University
By DataStellar Co., Ltd
The Aditi Deductive Database System. Amulti-user deductive database system from the MachineIntelligence Project at the University of Melbourne. Itsupports base relations defined by facts (relations in thesense of relational databases) and derived relationsdefined by rules that specify how to compute new informationfrom old information.Both base relations and the rules defining derived relationsare stored on disk and are accessed as required during queryevaluation. The rules defining derived relations areexpressed in a Prolog-like language, which is also used forexpressing queries.Aditi supports the full structured data capability of Prolog.Base relations can store arbitrarily nested terms, for examplearbitrary length lists, and rules can directly manipulate suchterms. Base relations can be indexed with B-trees ormulti-level signature files.Users can access the system through a Motif-based query anddatabase administration tool, or through a command lineinterface. There is also in interface that allows NU-Prologprograms to access Aditi in a transparent manner. Propertransaction processing is not supported in this release.The beta release runs on SPARC/SunOS4.1.2 andMIPS/Irix4.0.E-mail: .
By Denis Howe