Article

Free access

A practical functional programming system for databases

Authors:

Rishiyur Nikhil,

Robert FrankelAuthors Info & Claims

FPCA '81: Proceedings of the 1981 conference on Functional programming languages and computer architecture

Pages 195 - 202

https://doi.org/10.1145/800223.806779

Published: 18 October 1981 Publication History

Abstract

Functional programming systems, although they have nice theoretical properties and elegant implementations, have failed to make any significant impact in the practical world of applications programming. We shall describe a simple FP system for databases that is gaining considerable practical use as an interface language for complex database management systems. Not only does it provide a concise formalism for database queries but the implementation, which is done by a lazy evaluator, in many cases produces more efficient queries than conventional query systems because it reduces the amount of i/o. We also suggest that the implementation technique may be more generally applicable to FP systems.

References

[1]

Aho, A.V. and J.D. Ullman, "Universality of Data Retrieval Languages", Proc. 6th. ACM Symposium on Principles of Programming Languages (1979).

Digital Library

[2]

Backus, J. "Can Programming be Liberated from the von Neumann Style?" Comm. ACM, Vol. 21,8 August 1978.

Digital Library

[3]

Buneman, O.P and R.E. Frankel, "FQL—A Functional Query Language", Proc. ACM SIGMOD, May 1979.

Digital Library

[4]

Buneman, O.P, R.E. Frankel, and R. Nikhil, "An Implementation Technique for Database Query Languages", ACM Transactions on Database Systems, in the press.

Digital Library

[5]

Burge, W.H., Recursive Programming Techniques, Addison Wesley, 1975.

[6]

Codd, E.F., A Relational Model for Large Shared Data Banks, Comm. ACM13,6 (1970)

Digital Library

[7]

Data Base Task Group April 1971 Report, ACM New York, 1971.

[8]

Frankel, R.E. "FQL—The Design and Implementation of a Functional Query Language", MS Thesis, Moore School, University of Pennsylvania, May 1979.

[9]

Friedman, D.P. and D.S. Wise, "CONS should not evaluate its arguments", in Automata, Languages, and Programming, Edinburgh, 1976.

[10]

Harris, L.R., "The ROBOT System: Natural Language Processing Applied to Data Base Query", Proc. ACM '78, Washington (1978)

Digital Library

[11]

Henderson, P. and Morris, J.H., "A Lazy Evaluator", Third ACM Symposium on Principles of Programming Languages, 1976.

Digital Library

[12]

Kaplan, S.J., and A.K. Joshi, "Cooperative Responses: An application of Discourse Inference to Database Query Systems", Proc. Second Annual Conf. of the Canadian Society for Computational Studies of Intelligence, Toronto (1978).

[13]

Milner, R. "A Theory of Type Polymorphism in Programming", J. Computer and System Sciences, Vol 17, 348-375, 1978.

[14]

Shipman, D.W., "The Functional Data Model and the Data Language Daplex", ACM Trans. Database Systems 6,1 (1981)

Digital Library

[15]

Sibley, E.H. and L. Kershberg, "Data Architecture and Data Model Considerations", Proc. AFIPS NCC, Dallas (1977)

[16]

Turner, D.A. "A New Implementation technique for Applicative Languages", Software - Practice and Experience, Vol 9, 1979.

[17]

Turner, D.A. SASL Manual, Computer Science Department, University of Kent.

Cited By

Benzaken VCastagna GNguyen KSiméon J(2013)Static and dynamic semantics of NoSQL languagesACM SIGPLAN Notices10.1145/2480359.242908348:1(101-114)Online publication date: 23-Jan-2013
https://dl.acm.org/doi/10.1145/2480359.2429083
Benzaken VCastagna GNguyen KSiméon JGiacobazzi RCousot R(2013)Static and dynamic semantics of NoSQL languagesProceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/2429069.2429083(101-114)Online publication date: 23-Jan-2013
https://dl.acm.org/doi/10.1145/2429069.2429083
Henglein FLarsen KOliveira BZalewski M(2010)Generic multiset programming for language-integrated queryingProceedings of the 6th ACM SIGPLAN workshop on Generic programming10.1145/1863495.1863503(49-60)Online publication date: 26-Sep-2010
https://dl.acm.org/doi/10.1145/1863495.1863503
Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

FPCA '81: Proceedings of the 1981 conference on Functional programming languages and computer architecture

October 1981

228 pages

ISBN:0897910605

DOI:10.1145/800223

Chairmen:
Arvind,
Jack Dennis

Copyright © 1981 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGAPL: ACM Special Interest Group on APL Programming Language
MIT: Massachusetts Institute of Technology

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 October 1981

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
402
Total Downloads

Downloads (Last 12 months)61
Downloads (Last 6 weeks)11

Reflects downloads up to 26 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Benzaken VCastagna GNguyen KSiméon J(2013)Static and dynamic semantics of NoSQL languagesACM SIGPLAN Notices10.1145/2480359.242908348:1(101-114)Online publication date: 23-Jan-2013
https://dl.acm.org/doi/10.1145/2480359.2429083
Benzaken VCastagna GNguyen KSiméon JGiacobazzi RCousot R(2013)Static and dynamic semantics of NoSQL languagesProceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/2429069.2429083(101-114)Online publication date: 23-Jan-2013
https://dl.acm.org/doi/10.1145/2429069.2429083
Henglein FLarsen KOliveira BZalewski M(2010)Generic multiset programming for language-integrated queryingProceedings of the 6th ACM SIGPLAN workshop on Generic programming10.1145/1863495.1863503(49-60)Online publication date: 26-Sep-2010
https://dl.acm.org/doi/10.1145/1863495.1863503
Henglein FGallagher JVoigtländer J(2010)Optimizing relational algebra operations using generic equivalence discriminators and lazy productsProceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation10.1145/1706356.1706372(73-82)Online publication date: 19-Jan-2010
https://dl.acm.org/doi/10.1145/1706356.1706372
Henglein FLarsen K(2010)Generic multiset programming with discrimination-based joins and symbolic Cartesian productsHigher-Order and Symbolic Computation10.1007/s10990-011-9078-823:3(337-370)Online publication date: 1-Sep-2010
https://dl.acm.org/doi/10.1007/s10990-011-9078-8
Nikhil R(2005)Practical polymorphismFunctional Programming Languages and Computer Architecture10.1007/3-540-15975-4_45(319-333)Online publication date: 8-Jun-2005
https://doi.org/10.1007/3-540-15975-4_45
Danforth SValduriez P(1992)A FAD for Data Intensive ApplicationsIEEE Transactions on Knowledge and Data Engineering10.1109/69.1248964:1(34-51)Online publication date: 1-Feb-1992
https://dl.acm.org/doi/10.1109/69.124896
Azmoodeh MLavington SStandring MPollitt A(1984)The Semantic Binary Relationship Model of informationProceedings of the 7th annual international ACM SIGIR conference on Research and development in information retrieval10.5555/636805.636814(133-151)Online publication date: 2-Jul-1984
https://dl.acm.org/doi/10.5555/636805.636814

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents