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.