Sciweavers

Share
VLDB
1991
ACM

A Functional Programming Approach to Deductive Databases

10 years 6 months ago
A Functional Programming Approach to Deductive Databases
We introduce a persistentfunctional languagecalled PFL which adapts functional programming to the area of deductive databases,much as logic-based deductive databaselanguagesadapt logic programming. PFL inherits the advantagesof functional programming languages, including higher-order functions, static type checking, lazy evaluation, and support for user-definedtypes and constants. However, PFL allows functions to be definedincrementally by the insertion and deletion of equations, and stores theseequationsin thedatabase.PFL also supportsa class of extensionally defined updateablefunctions called selectorswhich allow the storageof arbitrarily nestedvalues. Further functions canbe written over selectorswhich act asderivation rules and which are “invertible” in the sense that they simulate predicates. We begin the paper by motivating the development of PFL. We review the respective advantages of functional and logic programming, particularly with respect to databasemodelling and manip...
Alexandra Poulovassilis, Carol Small
Added 27 Aug 2010
Updated 27 Aug 2010
Type Conference
Year 1991
Where VLDB
Authors Alexandra Poulovassilis, Carol Small
Comments (0)
books