Persistent functional language
functional language, database
(PFL) A functional database language developed by Carol Small at Birkbeck College, London, UK and Alexandra Poulovassilis (now at King’s College London).
In PFL, functions are defined equationally and bulk data is stored using a special class of functions called selectors. PFL is a lazy language, supports higher-order functions, has a strong polymorphic type inference system, and allows new user-defined data types and values. All functions, types and values persist in a database. Functions can be written which update all aspects of the database: by adding data to selectors, by defining new equations, and by introducing new data types and values.
PFL is “semi-referentially transparent”, in the sense that whilst updates are referentially opaque and are executed destructively, all evaluation is referentially transparent. Similarly, type checking is “semi-static” in the sense that whilst updates are dynamically type checked at run time, expressions are type checked before they are evaluated and no type errors can occur during their evaluation.
[“A Functional Approach to Database Updates (http://web.dcs.bbk.ac.uk/CS/Research/DBPL/papers/INFSYS93.abs.html)”, C. Small, Information Systems 18(8), 1993, pp. 581-95].
(1995-04-27)
Read Also:
- Persistently
[per-sis-tuh nt, -zis-] /pərˈsɪs tənt, -ˈzɪs-/ adjective 1. persisting, especially in spite of opposition, obstacles, discouragement, etc.; persevering: a most annoyingly persistent young man. 2. lasting or enduring tenaciously: the persistent aroma of verbena; a persistent cough. 3. constantly repeated; continued: persistent noise. 4. Biology. 5. Botany. remaining attached beyond the usual time, as flowers, […]
- Persistent memory
non-volatile storage
- Persistent organic pollutant
noun 1. a toxin resulting from a manufacturing process, which remains in the environment for many years POP
- Persistent truncus arteriosus
persistent truncus arteriosus persistent trun·cus ar·te·ri·o·sus (trŭng’kəs är-tēr’ē-ō’səs) n. A congenital cardiovascular deformity resulting from the failure of the septum between the aorta and pulmonary trunk to develop and characterized by a common arterial trunk opening out of both ventricles with the pulmonary arteries branching from the ascending common trunk.
- Persister
[per-sist, -zist] /pərˈsɪst, -ˈzɪst/ verb (used without object) 1. to continue steadfastly or firmly in some state, purpose, course of action, or the like, especially in spite of opposition, remonstrance, etc.: to persist in working for world peace; to persist in unpopular political activities. 2. to last or endure tenaciously: The legend of King Arthur […]