|
|
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",
C. Small, Information Systems 18(8), 1993, pp. 581-95].
(1995-04-27)
Try this search on OneLook / Google
Nearby terms:
perplexity « persistence « persistent « Persistent Functional Language » persistent memory » Personal Communication Network » Personal Communication Services
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
HP 52x 700MB 80-Minute CD-R Media 50-Piece SpindleHP 52x 700MB 80-Minute CD-R Media 50-Piece Spindle ** HP 52x 700MB 80-Minute CD-R Media 50-Pack **Create CDs in minutes with the Hewlett Packard CD-R media!It features 700 MB data storage, 80 minutes of digital audio and a maximum 52x recording speed. Get yours today!-General Features:- 50-Pack- 80-minute audio capacity- 700 MB data capacity- Rated for use with 52x speedsNotes:- Media Only Compatibility/Requirements/Disclosures: ** Requirements *** CD-R/RW drive More ...
Face FactoryFace Factory You don't have to be able to draw in order to create fun and colorful faces! Face Factory lets kids of all ages create a huge variety of faces from pre-drawn parts. It's a great way to develop creative interest in children! Windows 95/98/ME/NT/2000/XP More ...
Super Tutor GeometrySuper Tutor Geometry These interactive, multimedia lessons reinforce your understanding of the core subjects covered in a one-year high school geometry course. Difficult topics are presented in an engaging, friendly style. Perfect for after school or home school learning! Windows 95/98/2000/ME/XP More ...
NEW Sempron 2300+ 256MB DDR 80GB DVD/CDRWNEW Sempron 2300+ 256MB DDR 80GB DVD/CDRW ** NEW Sempron 2300+ 256MB DDR 80GB DVD/CDRW **This system features an AMD Sempron 2300+ processor, an 80GB hard drive, 256MB of DDR RAM, and sports DVD/CDRW Combo drive.General Features:- AMD Sempron 2300+ processor- 256MB DDR Memory- 80GB IDE Hard Drive- DVD/CDRW Combo Drive- Integrated SiS Real256E 2D/3D Graphics with up to 64MB Shared Memory- Realtek ALC655 6-Channel audio - 56K V.90 Data/Fax Modem- Integrated 10/100 Ethernet- Standard Size ATX Power SupplyMotherboard Features:- SiS 741GX (NB), SiS 964L (SB) Chipset- One (1) AGP 8X Slot for Graphics upgrades- Three (3) PCI slots- One (1) CNR Slot (occupied by modem)I/O Ports:- Two (2) PS/2 Ports, one for mouse, one for keyboard- One (1) Standard DB-15 VGA Connector- One (1) Standard 25-pin Parallel Port Connector- One (1) Standard 9-pin Serial Port Connector- Six (6) Standard USB 2.0 Ports (Two on front, four on rear)- One (1) Standard RJ-45 10/100 Ethernet Port- Line-in, Phone-out RJ-11 Jacks on PCI Modem- Line-in, Mic-in, Line-out 3.5mm mini-jacksPackage Includes:-Amptron Sempron 2300+ System- PS/2 Keyboard and Scroll Mouse- Driver Disc- Panda AntiVirus Software- FaxTalk Communicator Software- Adobe Reader- RJ-11 Phone Cable for Modem- Amplified Stereo Speakers - ECS 741GX-M Motherboard manual- U.S. Style Power CordCompatibility/Requirements/Disclosures:** Requirements *** Operating system (WinXP,2000,98,etc.)* VGA monitor* Power outlet More ...
TotalCad 2D/3DTotalCad 2D/3D Design and draft using a powerful precision CAD product! TotalCAD 2D/3D gives you the tools information, and ease-of-use you need for all your projects. Its 2D accuracy and 3D realism let you render and navigate within detailed models. Windows 95/98/ME/2000/XP More ...
3-Button PS/2 Backlit Optical Scroll Mouse (Black)3-Button PS/2 Backlit Optical Scroll Mouse (Black) ** 3-Button PS/2 Backlit Optical Scroll Mouse **This Backlit Optical Scroll Mouse provides you with fast and easy navigation on your desktop! It is equipped with 3buttons and a PS/2 interface. This mouse features a black and clear design that light up a bright blue and red LEDs when it's plugged in.General Features:- Black and clear design- Scroll wheel lights up blue- Bottom and back light up red- PS/2 interface- Optical tracking- 3-buttons- Scroll wheel acts as third button- Ergonomic design for left and right-handed users- Precise cursor movementRegulatory Approvals- FCC- CERetail Package Includes:- 3-Button PS/2 Backlit Optical Scroll Mouse Compatibility/Requirements/Disclosures: ** Requirements *** Microsoft Windows 95/98/NT/2000/ME/XP * Available PS/2 port More ...
|
