OnlineWoerterBuecher.de
Internes

Lexikon


Aditi


The Aditi Deductive Database System. A multi-user deductive database system from the Machine Intelligence Project at the University of Melbourne. 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 chefistration 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. The beta release runs on SPARC/SunOS4.1.2 and MIPS/Irix4.0. E-mail: . (1992-12-17)

In addition suitable contents:
[ 2 ] [ = ] [ @ ] [ ad ] [ chef ] [ ag ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ ARC ] [ arc ] [ as ] [ at ] [ au ] [ B ] [ b ] [ ba ] [ base ] [ be ] [ beta ] [ bi ] [ bit ] [ bo ] [ B-tree ] [ by ] [ C ] [ ca ] [ capability ] [ cc ] [ ch ] [ ci ] [ co ] [ com ] [ comma ] [ command ] [ command line interface ] [ D ] [ data ] [ database ] [ de ] [ deductive database ] [ disk ] [ du ] [ E ] [ ec ] [ ed ] [ edu ] [ ee ] [ er ] [ es ] [ et ] [ evaluation ] [ fact ] [ fi ] [ file ] [ fo ] [ for ] [ fr ] [ ge ] [ gen ] [ gh ] [ gn ] [ gr ] [ gt ] [ gu ] [ h ] [ hat ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ index ] [ int ] [ interface ] [ io ] [ IP ] [ IPS ] [ ir ] [ is ] [ it ] [ ke ] [ la ] [ language ] [ lb ] [ ld ] [ Lex ] [ li ] [ line ] [ list ] [ lists ] [ ls ] [ lt ] [ lu ] [ ly ] [ M ] [ ma ] [ Mac ] [ Mach ] [ mail ] [ man ] [ Mel ] [ MIPS ] [ mm ] [ mo ] [ mod ] [ module ] [ Motif ] [ mp ] [ ms ] [ mu ] [ N ] [ na ] [ nature ] [ nc ] [ ne ] [ nf ] [ ng ] [ ni ] [ nn ] [ no ] [ ns ] [ NU-Prolog ] [ O ] [ om ] [ op ] [ OS ] [ oz ] [ pa ] [ PARC ] [ parent ] [ pe ] [ ph ] [ pl ] [ port ] [ pr ] [ process ] [ processing ] [ program ] [ Prolog ] [ PS ] [ query ] [ rc ] [ re ] [ relation ] [ relational database ] [ release ] [ ro ] [ ru ] [ run ] [ S ] [ sa ] [ se ] [ si ] [ sig ] [ signature ] [ sit ] [ sk ] [ so ] [ SP ] [ SPAR ] [ SPARC ] [ spec ] [ st ] [ store ] [ struct ] [ su ] [ Sun ] [ SunOS ] [ support ] [ sy ] [ system ] [ T ] [ th ] [ to ] [ tool ] [ tr ] [ transaction ] [ transparent ] [ tree ] [ ua ] [ ug ] [ up ] [ us ] [ user ] [ va ] [ ve ] [ ws ]






Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (13996 Reads)

All logos and trademarks in this site are property of their respective owner.

Page Generation in 0.0964 Seconds, with 18 Database-Queries
Zurück zur Startseite