Kleisli, a functional query system

LIMSOON WONG

doi:10.1017/S0956796899003585

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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 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. So this paper also describes the influence of functional programming research that benefits the Kleisli system, especially the less obvious ones at the implementation level.

Availability. Kleisli has been commercialized under the name “KRIS”. It is available from Kris Technology Inc., 713 Santa Cruz Ave, #2, Menlo Park, CA 94025, USA. Direct email to [email protected] and web browser to http://www.kris-inc.com.

Crossref Citations

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Wong, Limsoon 2000. The functional guts of the Kleisli query system. ACM SIGPLAN Notices, Vol. 35, Issue. 9, p. 1.

Wong, Limsoon 2000. The functional guts of the Kleisli query system. p. 1.

Limsoon Wong 2000. Kleisli: its exchange format, supporting tools, and an application in protein interaction extraction. p. 21.

Kemp, G.J.L. Gray, P.M.D. and Sjostedt, A.R. 2001. Rewrite rules for quantified subqueries in a federated database. p. 134.

Dinakarpandian, Deendayal and Kumar, Vijay 2002. BlOMIND-protein property prediction by property proximity profiles. p. 168.

Parimala N 2003. Graphical user interface to multiple biological databases. p. 50.

Tsur, Shalom 2003. A Plea for Normalization of Biosciences Information. OMICS: A Journal of Integrative Biology, Vol. 7, Issue. 1, p. 109.

AlSairafi, Salman Emmanouil, Filippia-Sofia Ghanem, Moustafa Giannadakis, Nikolaos Guo, Yike Kalaitzopoulos, Dimitrios Osmond, Michelle Rowe, Anthony Syed, Jameel and Wendel, Patrick 2003. The Design of Discovery Net: Towards Open Grid Services for Knowledge Discovery. The International Journal of High Performance Computing Applications, Vol. 17, Issue. 3, p. 297.

Giannadakis, Nikolaos Rowe, Anthony Ghanem, Moustafa and Guo, Yi-ke 2003. InfoGrid: providing information integration for knowledge discovery. Information Sciences, Vol. 155, Issue. 3-4, p. 199.

Chen, Jing Chung, Su Yun and Wong, Limsoon 2003. Bioinformatics. p. 147.

Li, Jinyan See-Kiong, Ng and Wong, Limsoon 2003. Database Theory — ICDT 2003. Vol. 2572, Issue. , p. 31.

Chung, Su Yun and Wooley, John C. 2003. Bioinformatics. p. 11.

Parker, D. Stott Gorlick, Michael M. and Lee, Christopher J. 2003. Evolving from Bioinformatics in-the-Small to Bioinformatics in-the-Large. OMICS: A Journal of Integrative Biology, Vol. 7, Issue. 1, p. 37.

See-Kiong Ng and Limsoon Wong 2004. Accomplishments and challenges in bioinformatics. IT Professional, Vol. 6, Issue. 1, p. 44.

Kemp, Graham J. L. Gray, Peter M. D. and Embury, Suzanne M. 2004. The Functional Approach to Data Management. p. 189.

Köhler, Jacob 2004. Integration of life science databases. Drug Discovery Today: BIOSILICO, Vol. 2, Issue. 2, p. 61.

Ben Miled, Zina Li, Nianhua Liu, Yang He, Yue Lynch, Eric and Bukhres, Omran 2004. Data Integration in the Life Sciences. Vol. 2994, Issue. , p. 172.

Pahlevi, S.M. and Kojima, I. 2004. OGSA-WebDB: an OGSA-based system for bringing Web databases into the grid. p. 105.

Fahim Sufi Irena Cosic and Qiang Fang 2004. XQuery Based Intelligent Search System for Genomic Data Retrieval. p. 535.

Rzhetsky, Andrey Iossifov, Ivan Koike, Tomohiro Krauthammer, Michael Kra, Pauline Morris, Mitzi Yu, Hong Duboué, Pablo Ariel Weng, Wubin Wilbur, W.John Hatzivassiloglou, Vasileios and Friedman, Carol 2004. GeneWays: a system for extracting, analyzing, visualizing, and integrating molecular pathway data. Journal of Biomedical Informatics, Vol. 37, Issue. 1, p. 43.

Download full list

Article contents

Kleisli, a functional query system

Abstract

Discussions

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Article contents

Kleisli, a functional query system

Abstract

Discussions

Save article to Kindle

Save article to Dropbox

Save article to Google Drive

Reply to: Submit a response

Your details

You have entered the maximum number of contributors

Conflicting interests