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)

[Aug89]

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

[Ban86]

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

[Ban87]

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

[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)

[Car85]

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

[Car88]

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

[Cer90]

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

[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)

[Cla85]

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

[Cla78]

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

[Clo81]

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

[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

[Dec86]

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

[Enb88]

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

[Fas87]

...

[Fie88]

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

[Fre87]

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

[Gal84]

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

[Gra88]

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

[Gro86]

...

[Hen80]

...

[Hor90]

...

[Hug85]

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

[Hug89]

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

[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

[Kow79]

...

[Kul86]

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

[Man90]

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

[Llo85]

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

[Nic82]

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

[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)

[Nik85]

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

[Oho89]

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

[Pey87]

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

[Pou90a]

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

[Pou90b]

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

[Pou91]

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

[Rei80]

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

[Rob65]

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

[Shi81]

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

[Sma91]

...

[Ste86]

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

[Toy87]

...

[Tur85]

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

[Ull88]

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

[Ven88]

...

[War82]

...

[Wik87]

...