BioKleisli: A Digital Library for Biomedical ResearchersK2/Kleisli and GUS: Experiments in Integrated Access to Genomic Data SourcesOptimism and consistency in partitioned distributed database systems