An Overview of PFL.

@inproceedings{DBLP:conf/dbpl/SmallP91,
  author    = {Carol Small and
               Alexandra Poulovassilis},
  editor    = {Paris C. Kanellakis and
               Joachim W. Schmidt},
  title     = {An Overview of PFL},
  booktitle = {Database Programming Languages: Bulk Types and Persistent Data.
               3rd International Workshop, August 27-30, 1991, Nafplion, Greece,
               Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1991},
  isbn      = {1-55860-242-9},
  pages     = {96-110},
  ee        = {db/conf/dbpl/SmallP91.html},
  crossref  = {DBLP:conf/dbpl/91},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-5 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[Atk87]

Malcolm P. Atkinson, Peter Buneman: Types and Persistence in Database Programming Languages. ACM Comput. Surv. 19(2): 105-190(1987) BibTeX

[Aug89]

Lennart Augustsson, Thomas Johnsson: The Chalmers Lazy-ML Compiler. Comput. J. 32(2): 127-141(1989) BibTeX

[Ban86]

François Bancilhon, Raghu Ramakrishnan: An Amateur's Introduction to Recursive Query Processing Strategies. SIGMOD Conference 1986: 16-52 BibTeX

[Ban87]

François Bancilhon, Ted Briggs, Setrag Khoshafian, Patrick Valduriez: FAD, a Powerful and Simple Database Language. VLDB 1987: 97-105 BibTeX

[Bir88]

...

[Bun82]

Peter Buneman, Robert E. Frankel, Rishiyur S. Nikhil: An Implementation Technique for Database Query Languages. ACM Trans. Database Syst. 7(2): 164-186(1982) BibTeX

[Car85]

Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985) BibTeX

[Car88]

Luca Cardelli: Types for Data-Oriented Languages. EDBT 1988: 1-15 BibTeX

[Cer90]

Stefano Ceri, Georg Gottlob, Letizia Tanca: Logic Programming and Databases. Springer 1990, ISBN 3-540-51728-6
BibTeX

[Chi90]

Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo: The LDL System Prototype. IEEE Trans. Knowl. Data Eng. 2(1): 76-90(1990) BibTeX

[Cla85]

Chris D. Clack, Simon L. Peyton Jones: Strictness Analysis - A Practical Approach. FPCA 1985: 35-49 BibTeX

[Cla78]

Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 BibTeX

[Clo81]

W. F. Clocksin, Chris Mellish: Programming in Prolog. Springer 1981
BibTeX

[Day87]

Umeshwar Dayal, Frank Manola, Alejandro P. Buchmann, Upen S. Chakravarthy, David Goldhirsch, Sandra Heiler, Jack A. Orenstein, Arnon Rosenthal: Simplifying Complex Objects: The PROBE Approach to Modelling and Querying Them. BTW 1987: 17-37 BibTeX

[Dec86]

Hendrik Decker: Integrity Enforcement on Deductive Databases. Expert Database Conf. 1986: 381-395 BibTeX

[Enb88]

Richard J. Enbody, H. C. Du: Dynamic Hashing Schemes. ACM Comput. Surv. 20(2): 85-113(1988) BibTeX

[Fas87]

...

[Fie88]

A. J. Field, Peter G. Harrison: Functional Programming. Addison-Wesley 1988, ISBN 0-201-19249-7
BibTeX

[Fre87]

Michael Freeston: The BANG File: A New Kind of Grid File. SIGMOD Conference 1987: 260-269 BibTeX

[Gal84]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX

[Gra88]

Peter M. D. Gray, David S. Moffat, Norman W. Paton: A Prolog Interface to a Functional Data Model Database. EDBT 1988: 34-48 BibTeX

[Gro86]

...

[Hen80]

...

[Hor90]

...

[Hug85]

John Hughes: Lazy Memo-functions. FPCA 1985: 129-146 BibTeX

[Hug89]

John Hughes: Why Functional Programming Matters. Comput. J. 32(2): 98-107(1989) BibTeX

[Jou85]

Jean-Pierre Jouannaud (Ed.): Functional Programming Languages and Computer Architecture, Nancy, France, September 16-19, 1985, Proceedings. Lecture Notes in Computer Science 201 Springer 1985, ISBN 3-540-15975-4
Contents BibTeX

[Kow79]

...

[Kul86]

K. G. Kulkarni, Malcolm P. Atkinson: EFDM: Extended Functional Data Model. Comput. J. 29(1): 38-46(1986) BibTeX

[Man90]

Michael V. Mannino, Injun Choi, Don S. Batory: The Object-Oriented Functional Data Language. IEEE Trans. Software Eng. 16(11): 1258-1272(1990) BibTeX

[Llo85]

John W. Lloyd, Rodney W. Topor: A Basis for Deductive Database Systems. J. Log. Program. 2(2): 93-109(1985) BibTeX

[Nic82]

Jean-Marie Nicolas: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf. 18: 227-253(1982) BibTeX

[Nie84]

Jürg Nievergelt, Hans Hinterberger, Kenneth C. Sevcik: The Grid File: An Adaptable, Symmetric Multikey File Structure. ACM Trans. Database Syst. 9(1): 38-71(1984) BibTeX

[Nik85]

Rishiyur S. Nikhil: Practical Polymorphism. FPCA 1985: 319-333 BibTeX

[Oho89]

Atsushi Ohori, Peter Buneman, Val Tannen: Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference 1989: 46-57 BibTeX

[Pey87]

Simon L. Peyton Jones: The Implementation of Functional Programming Languages. Prentice-Hall 1987
BibTeX

[Pou90a]

Alexandra Poulovassilis, Peter J. H. King: Extending the Functional Data Model to Computational Completeness. EDBT 1990: 75-91 BibTeX

[Pou90b]

Alexandra Poulovassilis: The Implementation of FDL, a Functional Database Language. Comput. J. 35(2): 119-128(1992) BibTeX

[Pou91]

Alexandra Poulovassilis, Carol Small: A Functional Programming Approach to Deductive Databases. VLDB 1991: 491-500 BibTeX

[Rei80]

Raymond Reiter: A Logic for Default Reasoning. Artif. Intell. 13(1-2): 81-132(1980) BibTeX

[Rob65]

John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41(1965) BibTeX

[Shi81]

David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981) BibTeX

[Sma91]

...

[Ste86]

Leon Sterling, Ehud Y. Shapiro: The Art of Prolog - Advanced Programming Techniques. MIT Press 1986, ISBN 0-262-19250-0
BibTeX

[Toy87]

...

[Tur85]

D. A. Turner: Miranda: A Non-Strict Functional language with Polymorphic Types. FPCA 1985: 1-16 BibTeX

[Ull88]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX

[Ven88]

...

[War82]

...

[Wik87]

...

Referenced by

1. Val Tannen: Tutorial: Languages for Collection Types. PODS 1994: 150-154
2. Alexandra Poulovassilis, Carol Small: A Domain-theoretic Approach to Integrating Functional and Logic Database Languages. VLDB 1993: 416-428