See this document in CiteSeerX!

The Functional Guts of the Kleisli Query System (2000)  (Make Corrections)  (2 citations)
Limsoon Wong
ACM SIG\-PLAN Notices



  Home/Search   Context   Related

 
View or download:
krdl.org.sg:8080/~...wlsicfp001.ps.gz
astar.edu.sg/lims...wlsicfp001.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  krdl.org.sg:8080/...limsoonpapers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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... (Update)

Context of citations to this paper:   More

...dispersed. This paper describes some implementation details and example applications of Kleisli. 1 Introduction The Kleisli system [14, 32, 33] is an advanced broad scale integration technology that has proven very useful in the bioinformatics arena. Many bioinformatics...

.... using CML [17] the concurrent version of the functional language SML[13] Although Kleisli and CPL have previously been described [24, 23], the details of its interface to relational DBMS and other sources have never been published. In this paper, we describe the Kleisli s...

Cited by:   More
Turning Relational DBMS into Nested Relational DBMS - Chen, Wong   (Correct)
The Kleisli Approach to Data Transformation and Integration - Davidson, Wong (2001)   (Correct)

Similar documents (at the sentence level):   More
71.6%:   Kleisli, a Functional Query System - Wong (1998)   (Correct)
17.8%:   Kleisli, its Exchange Format, Supporting Tools, and an application .. - Wong   (Correct)
5.3%:   Hunting TPR Domains Using Kleisli - Lin, Ting, Wang, Wong (1998)   (Correct)

Active bibliography (related documents):   More   All
0.6:   An Example in Kleisli: Codon Usage Extraction Made Easy - Wang, Wong (1999)   (Correct)
0.5:   Bioinformatics Adventures in Database Research - Li, Ng, Wong (2003)   (Correct)
0.5:   Toward Routine Automatic Pathway Discovery from On-line.. - Ng, Wong (1999)   (Correct)

Similar documents based on text:   More   All
0.8:   Bioinformatics Integration Simplified: The Kleisli Way - Wong (1998)   (Correct)
0.8:   Extracting Kozak Consensus Sequence Using Kleisli - Chen, Chua, Strauss, Wong (1998)   (Correct)

Related documents from co-citation:   More   All
2:   Entrez: Molecular biology database and retrieval system (context) - GD, JA et al. - 1996
2:   Comprehension syntax - Buneman, Libkin et al. - 1994
2:   Principles of programming with complex objects and collection types - Buneman, Naqvi et al. - 1995

BibTeX entry:   (Update)

L. Wong. The functional guts of the kleisli query system. In Proc. 5th ACM SIGPLAN International Conference on Functional Programming, pages 1--10, 2000. http://citeseer.ist.psu.edu/wong00functional.html   More

@article{ wong00functional,
    author = "Limsoon Wong",
    title = "The functional guts of the {Kleisli} query system",
    journal = "ACM SIG{\-}PLAN Notices",
    volume = "35",
    number = "9",
    pages = "1--10",
    year = "2000",
    url = "citeseer.ist.psu.edu/wong00functional.html" }
Citations (may not include all citations):
619   The Object Database Standard: ODMG (context) - Cattell - 1996
266   Gapped BLAST and PSIBLAST: A new generation of protein datab.. - Altschul - 1997
254   Comprehending monads - Wadler - 1992
197   A relational model for large shared data bank (context) - Codd - 1970
151   Interoperability of multiple autonomous databases (context) - Litwin - 1990
93   Principles of programming with complex objects and collectio.. - Buneman - 1995
90   Structural recursion as a query language - Breazu-Tannen - 1991
59   Logical and computational aspects of programming with Sets/B.. (context) - Breazu-Tannen, Subrahmanyam - 1991
49   Local properties of query languages - Dong - 1997
49   Query languages for bags and aggregate functions - Libkin, Wong - 1997
48   BioKleisli: A digital library for biomedical researchers - Davidson - 1997
48   Local alignment statistics (context) - Altschul, Gish - 1996
46   A higher-order implementation of rewriting - Paulson - 1983
36   TAMBIS---transparent access to multiple bioinformatics infor.. - Baker - 1998
26   Typechecking records and variants in a natural extension of .. (context) - Remy - 1989
26   National Library of Medicine (context) - for, Information - 1992
24   Entrez: Molecular biology database and retrieval system (context) - Schuler - 1996
15   Bounded fixpoints for complex objects - Suciu - 1997
15   a polymorphic language with static type inference (context) - Ohori, in - 1989
14   Stream processing (context) - Goldberg, Paige - 1984
12   Recent development in biological sequence databases (context) - Baker, Brass - 1998
10   Object exchange across heterogenous information sources (context) - Papakonstantinou - 1995
10   a functional query system (context) - Wong - 2000
9   On two forms of structural recursion - Suciu, Wong - 1995
8   Bioinformatics --- principles and potential of a new multidi.. (context) - Benton - 1996
8   Efficient representation of extensible records (context) - Remy - 1992
6   A protein patent query system powered by Kleisli - Chen - 1998
6   The GDB human genome data base anno (context) - Pearson - 1992
6   Using Kleisli to bring out features in BLASTP results - Chen - 1998
5   A functional theory of exceptions (context) - Spivey - 1990
5   An introduction to Remy's fast polymorphic projection (context) - Wong - 1995
4   ACEDB: A database for genome information (context) - Walsh - 1998
3   Specification of Abstraction Syntax Notation One (context) - Standard, Systems et al. - 1987
2   Principles of Database and Knowledgebase Systems II: The New.. (context) - Ullman - 1989

Documents on the same site (http://sdmc.krdl.org.sg:8080/~limsoon/limsoonpapers.html):   More
Polymorphic Queries Across Sets, Bags, and Lists - Wong (1994)   (Correct)
Lower Bounds for Invariant Queries in Logics with Counting - Libkin, Wong (2002)   (Correct)
Comprehension Syntax - Buneman, Libkin, Suciu, Tannen, Wong (1994)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC