Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Database programming in Machiavelli—a polymorphic language with static type inference
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Type checking records and variants in a natural extension of ML
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A functional theory of exceptions
Science of Computer Programming
Interoperability of multiple autonomous databases
ACM Computing Surveys (CSUR) - Special issue on heterogeneous databases
Structural recursion as a query language
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Principles of programming with complex objects and collection types
ICDT '92 Selected papers of the fourth international conference on Database theory
An introduction to Remy's fast polymorphic record projection
ACM SIGMOD Record
Bounded fixpoints for complex objects
Theoretical Computer Science
Query languages for bags and aggregate functions
Journal of Computer and System Sciences - Special issue on principles of database systems
A protein patent query system powered by Kleisli
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
A relational model of data for large shared data banks
Communications of the ACM
Object Exchange Across Heterogeneous Information Sources
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
On Two Forms of Structural Recursion
ICDT '95 Proceedings of the 5th International Conference on Database Theory
Local Properties of Query Languages
ICDT '97 Proceedings of the 6th International Conference on Database Theory
TAMBIS: Transparent Access to Multiple Bioinformatics Information Sources
ISMB '98 Proceedings of the 6th International Conference on Intelligent Systems for Molecular Biology
Logical and Computational Aspects of Programming with Sets/Bags/Lists
ICALP '91 Proceedings of the 18th International Colloquium on Automata, Languages and Programming
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Querying nested collections
Kleisli, a functional query system
Journal of Functional Programming
InfoGrid: providing information integration for knowledge discovery
Information Sciences—Informatics and Computer Science: An International Journal - special issue: Knowledge discovery from distributed information sources
A framework for XML-Based integration of data, visualization and analysis in a biomedical domain
XSym'05 Proceedings of the Third international conference on Database and XML Technologies
Hi-index | 0.01 |
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.