Article

Free access

The functional guts of the Kleisli query system

Author:

Limsoon WongAuthors Info & Claims

ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming

Pages 1 - 10

https://doi.org/10.1145/351240.351241

Published: 01 September 2000 Publication History

Abstract

Kleisli is a modern data integration system that has made a significant impact on bioinformatics data integration. The primary query language provided by Kleisli is called CPL, which is a functional query language whose surface syntax is based on the comprehension syntax. Kleisli is itself implemented using the functional language SML. This paper describes the influence of functional programming research that benefits the Kleisli system, especially the less obvious ones at the implementation level.

References

[1]

S. F. Altschul and W. Gish. Local alignment statistics. Methods Enzymology, 266:460-480, 1996.

[2]

S. F. Altschul et. al. Gapped BLAST and PSI-BLAST: A new generation of protein database search programs. NAR, 25(17):3389-3402, 1997.

[3]

P. G. Baker and A. Brass. Recent development in biological sequence databases. Curr. Op. Biotech., 9:54-58, 1998.

[4]

P. G. Baker et al. TAMBIS|transparent access to multiple bioinformatics information sources. ISMB, 6:25-34, 1998.

Digital Library

[5]

D. Benton. Bioinformatics | principles and potential of a new multidisciplinary tool. TIBTECH, 14:261-272, 1996.

[6]

V. Breazu-Tannen et. al. Structural recursion as a query language. DBPL, 3:9-19, 1991.

Digital Library

[7]

V. Breazu-Tannen and R. Subrahmanyam. Logical and computational aspects of programming with Sets/Bags/Lists. ICALP, 18:60-75, 1991.

Digital Library

[8]

P. Buneman et. al. Principles of programming with complex objects and collection types. TCS, 149(1):3-48, 1995.

Digital Library

[9]

C. Burks et. al. GenBank. NAR, 20 Supplement:2065-9, 1992.

[10]

R. G. G. Cattell, editor. The Object Database Standard: ODMG-93. Morgan Kaufmann, 1996.

[11]

J. Chen et. al. Using Kleisli to bring out features in BLASTP results. Genome Informatics, 9:102-111, 1998.

[12]

J. Chen et. al. A protein patent query system powered by Kleisli. ACM SIGMOD Record, 27(2):593-595, 1998.

Digital Library

[13]

E. F. Codd. A relational model for large shared data bank. CACM, 13(6):377-387, 1970.

Digital Library

[14]

S. Davidson et. al. BioKleisli: A digital library for biomedical researchers. Int. J. Digital Libraries, 1(1):36-53, 1997.

[15]

G. Dong et. al. Local properties of query languages. ICDT, 6:140-154, 1997.

Digital Library

[16]

A. Goldberg and R. Paige. Stream processing. In Proc. ACM Symposium on LISP and Functional Programming, pages 53-62, 1984.

Digital Library

[17]

ISO. Standard 8824. Information Processing Systems. Open Systems Interconnection. Speci~cation of Abstraction Syntax Notation One (ASN.1), 1987.

[18]

L. Libkin and L. Wong. Query languages for bags and aggregate functions. JCSS, 55(2):241-272, 1997.

Digital Library

[19]

W. Litwin et. al. Interoperability ofmultiple autonomous databases. ACM Comput. Surveys, 22(3):267-293, 1990.

Digital Library

[20]

National Center for Biotechnology Information, National Library of Medicine, Bethesda, MD. NCBI ASN.1 Specification, 1992. Revision 2.0.

[21]

A. Ohori et. al. Database programming in Machiavelli, a polymorphic language with static type inference. ACM SIGMOD Record, 18(2):46-57, 1989.

Digital Library

[22]

Y. Papakonstantinou et. al. Object exchange across heterogenous information sources. ICDE, 11:251-260, 1995.

Digital Library

[23]

L. C. Paulson. A higher-order implementation of rewriting. Sci. Comput. Prog., 3:119-49, 1983.

[24]

P. Pearson et. al. The GDB human genome data base anno 1992. NAR, 20:2201-2206, 1992.

[25]

D. Remy. Typechecking records and variants in a natural extension of ML. POPL, 16:77{88, 1989.

Digital Library

[26]

D. Remy. E~cient representation of extensible records. In Proc. of ACM SIGPLAN Workshop on ML and its Applications, pages 12-16, 1992.

[27]

C. Schoenbach et. al. FIMM, a database of functional molecular immunology. NAR, 28(1):222-224, 2000.

[28]

G. D. Schuler et. al. Entrez: Molecular biology database and retrieval system. Methods Enzymology, 266:141-162, 1996.

[29]

M. Spivey. A functional theory of exceptions. Sci. Comput. Prog., 14:25-42, 1990.

Digital Library

[30]

D. Suciu. Bounded fixpoints for complex objects. TCS, 176(1{2):283-328, 1997.

Digital Library

[31]

D. Suciu and L. Wong. On two forms of structural recursion. ICDT, 5:111{124, 1995.

Digital Library

[32]

J. D. Ullman. Principles of Database and Knowledgebase Systems II: The New Technologies. Computer Science Press, 1989.

Digital Library

[33]

P. Wadler. Comprehending monads. Math. Struct. Comput. Sci., 2:461-493, 1992.

[34]

S. Walsh et. al. ACEDB: A database for genome information. Methods Biochem. Anal., 39:299-318, 1998.

[35]

L. Wong. Querying Nested Collections. PhD thesis, Department of Computer and Information Science, University ofPennsylvania, Philadelphia, PA 19104, August 1994.

Digital Library

[36]

L. Wong. An introduction to Remy's fast polymorphic projection. ACM SIGMOD Record, 24(3):34-39, 1995.

Digital Library

[37]

L. Wong. Kleisli, a functional query system. J. Funct. Prog., 10(1):19-56, 2000.

Digital Library

Cited By

Bales NBrinkley JLee EMathur SRe CSuciu D(2005)A framework for XML-Based integration of data, visualization and analysis in a biomedical domainProceedings of the Third international conference on Database and XML Technologies10.1007/11547273_15(207-221)Online publication date: 28-Aug-2005
https://dl.acm.org/doi/10.1007/11547273_15
Davidson SWong L(2004)The Kleisli Approach to Data Transformation and IntegrationThe Functional Approach to Data Management10.1007/978-3-662-05372-0_6(135-165)Online publication date: 2004
https://doi.org/10.1007/978-3-662-05372-0_6
Giannadakis NRowe AGhanem MGuo Y(2003)InfoGridInformation Sciences: an International Journal10.1016/S0020-0255(03)00170-1155:3-4(199-226)Online publication date: 15-Oct-2003
https://dl.acm.org/doi/10.1016/S0020-0255%2803%2900170-1
Show More Cited By

Index Terms

The functional guts of the Kleisli query system
1. Information systems
  1. Data management systems
    1. Database management system engines
    2. Query languages

Recommendations

The functional guts of the Kleisli query system

Kleisli is a modern data integration system that has made a significant impact on bioinformatics data integration. The primary query language provided by Kleisli is called CPL, which is a functional query language whose surface syntax is based on the ...
Kleisli, a functional query system

Kleisli is a modern data integration system that has made a significant impact on bioinformatics data integration. This paper contains a brief introduction to the Kleisli system and an example to illustrate its uses in the bioinformatics arena. The ...
Freyd is Kleisli, for arrows
MSFP'06: Proceedings of the 2006 international conference on Mathematically Structured Functional Programming

Arrows have been introduced in functional programming as generalisations of monads. They also generalise comonads. Fundamental structures associated with (co)monads are Kleisli categories and categories of (Eilenberg-Moore) algebras. Hence it makes ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming

September 2000

294 pages

ISBN:1581132026

DOI:10.1145/351240

Chairmen:
Martin Odersky
EPFL Lausanne
,
Philip Wadler
Bell Labs, Lucent Technologies

ACM SIGPLAN Notices Volume 35, Issue 9
Sept. 2000
291 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/357766
Editors:
Cindy Norris
Appalachian State Univ., Boone, NC
,
James B. Fenwick
Appalachian State Univ., Boone, NC
Issue’s Table of Contents

Copyright © 2000 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

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 2000

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ICFP00

Sponsor:

SIGPLAN

ICFP00: International Conference on Functional Programming

Acceptance Rates

ICFP '00 Paper Acceptance Rate 24 of 110 submissions, 22%;

Overall Acceptance Rate 333 of 1,064 submissions, 31%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
492
Total Downloads

Downloads (Last 12 months)87
Downloads (Last 6 weeks)17

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Bales NBrinkley JLee EMathur SRe CSuciu D(2005)A framework for XML-Based integration of data, visualization and analysis in a biomedical domainProceedings of the Third international conference on Database and XML Technologies10.1007/11547273_15(207-221)Online publication date: 28-Aug-2005
https://dl.acm.org/doi/10.1007/11547273_15
Davidson SWong L(2004)The Kleisli Approach to Data Transformation and IntegrationThe Functional Approach to Data Management10.1007/978-3-662-05372-0_6(135-165)Online publication date: 2004
https://doi.org/10.1007/978-3-662-05372-0_6
Giannadakis NRowe AGhanem MGuo Y(2003)InfoGridInformation Sciences: an International Journal10.1016/S0020-0255(03)00170-1155:3-4(199-226)Online publication date: 15-Oct-2003
https://dl.acm.org/doi/10.1016/S0020-0255%2803%2900170-1
MacQueen DHarper RReppy J(2020)The history of Standard MLProceedings of the ACM on Programming Languages10.1145/33863364:HOPL(1-100)Online publication date: 12-Jun-2020
https://dl.acm.org/doi/10.1145/3386336

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

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