Functional Databases, Functional Languages

Database systems today have evolved a great deal from the first storage structures, towards greater data independence, expressive power in manipulation languages, and expressive power in data models. But their facilities are still poor substitutes for analogues in programming languages: data abstraction, structured control constructs and type systems respectively. Most programming languages, on the other hand, deal inadequately (if at all) with the question of long-lived structured data. The problem is compounded when dealing with both a database system and a programming language that are alien to each other (as is common today).

[1]  Renzo Orsini,et al.  GALILEO: a strongly-typed, interactive conceptual language , 1985, TODS.

[2]  Joachim W. Schmidt,et al.  Some high level language constructs for data of type relation , 1977, TODS.

[3]  D. A. Turner.  The semantic elegance of applicative languages , 1981, FPCA '81.

[4]  Ronald Morrison,et al.  Persistent object management system , 1984, Softw. Pract. Exp..

[5]  Ronald Morrison,et al.  Procedures as persistent data objects , 1985, TOPL.

[6]  Renzo Orsini,et al.  The Type System of Galileo , 1988, Data Types and Persistence , Informal Proceedings.

[7]  Keshav Pingali,et al.  I-structures: Data structures for parallel computing , 1986, Graph Reduction.

[8]  Michael L. Brodie,et al.  On Conceptual Modelling , 1984, Topics in Information Systems.

[9]  Arvind,et al.  Two Fundamental Issues in Multiprocessing , 1987, Parallel Computing in Science and Engineering.

[10]  Michael L. Brodie.  On conceptual modelling - perspectives from artificial intelligence, databases and programming languages , 1984, Topics in information systems.

[11]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.