An extension of Ada for functionaldatabases.["Adaplex: Rationale and Reference Manual 2nd ed", J.M. Smithet al, Computer Corp America, Cambridge MA, 1983].