Biokleisli: A digital library for biomedical researchers

International Journal on Digital Libraries

Volumn 1, Issue 1, 1997, Pages 36-53

  Davidson, S B ^a   Overton, C ^b   Tannen, V ^a   Wong, L ^c  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

^c BioInformatics Center and Institute of Systems Science   (Singapore)

Author keywords

Biokleisli; Human Genome Project

Indexed keywords

EID: 0001957926     PISSN: 14325012     EISSN: 14321300     Source Type: Journal    
DOI: 10.1007/s007990050003     Document Type: Article

References (62)

1. Abiteboul S., Beeri, C.: The power of languages for the manipulation of complex values. VLDB J. 4:727-794 (1995)
2. Abiteboul, S., Hull, R.: IFO: a formal semantic database model. ACM Trans. Database Syst. 12:525-565 (1987).
3. Abiteboul, S., Kanellakis, P., Object identity as a query language primitive. In: Proceedings of ACM SIGMOD Conference on Management of Data. Portland, Oregon, 1989, pp 159-173
4. Abiteboul, S., Fischer, P., Schek, H.-.J., (eds.): LNCS 361: Nested Relations and Complex Objects in Databases. Springer, 1989
5. Abiteboul, S., Hull, R., Vianu, V.: Foundations of databases. Addison-Wesley, 1995
6. Akiyama, Y., Goto, S., Uchiyama, I., Kanehisa, M.: Web DBGET: an integrated database retrieval system which provides hyper-links among related database entries, 1995. In: Abstracts of participants of the 1995 Meeting on Interconnecting Molecular Biology Databases. Available at url http://www.genome.ad.jp/dbget/dbget.html.
7. Breazu-Tannen, V., Buneman, P., Naqvi, S.: Structural recursion as a query language. In: Proceedings of 3rd International Workshop on Database Programming Languages, Naphlion, Greece, Morgan Kaufmann, 1991, pp 9-19. Also available as UPenn Technical Report MS-CIS-92-17
8. Breazu-Tannen, V., Buneman, P., Wong, L.: Naturally embedded query languages. In: Biskup, J., Hull, R., (eds) LNCS 646: Proceedings of 4th International Conference on Database Theory, Berlin, Germany, October, 1992. Springer, 1992, pp 140-154. Available as UPenn Technical Report MS-CIS-92-47
9. Buneman, O. P., Ohori, A.: A type system that reconciles classes and extents. In: Proceedings of 3rd International Workshop on Database Programming Languages, Naphlion, Greece, August 1991. Morgan Kaufmann, 1991, pp 191-202
10. Buneman, P., Ohori, A.: Polymorphism and type inference in database programming. ACM Trans. Database Syst. 21:30-76 (1996)
11. Buneman, P., Libkin, L., Suciu, D., Tannen, V., Wong, L.: Comprehension syntax. SIGMOD Record 23:87-96 (1994)
12. Buneman, P., Naqvi, S., Tannen, V., Wong, L.: Principles of programming with complex objects and collection types. Theor. Comput. Sci., 149:3-48 1995.
13. Buneman, P., Davidson, S., Hillebrand, G., Suciu, D.: A query language and optimization techniques for unstructured data. In: Proceedings of ACM-SIGMOD International Conference on Management of Data, June 1996, Montreal, Canada, 1996, pp 505-516
14. Cardelli, L.: A semantics for multiple inheritance. Inf. Comput. 76:138-164 (1988)
15. Carey, M. J., DeWitt, D. J., Franklin, M. J., Hall, N. E., McAuliffe, M. L., Naughton, J. F., Schuh, D. T., Solomon, M. H., Tan, C. K., Tsatalos, O. G., White, S. J., Zwilling, M. J.: Shoring up persistent applications. In: Proceedings of ACM SIGMOD International Conference on Management of Data, May 1994. Minneapolis, Minnesota, 1994, pp 383-394
16. Cattell, R. G. G., (ed): The Object Database Standard: ODMG-93. San Mateo, California: Morgan Kaufmann, 1996
17. Chen, I. A., Markowitz, V. M.: The object-protocol model, draft 2. Technical Report LBL-32738, Lawrence Berkeley Laboratory, Berkeley, California, 1994
18. Chen, I. A., Markowitz, V. M.: Modeling scientific Experiments with an Object Data Model. In: Proc. 11th Int. Conference on Data Engineering, 1995, pp 391-400
19. Christophides, V., Abiteboul, S., Cluet, S., Scholl, M.: From structured documents to novel query facilities. In: Snodgrass, R., Winslett, M., (eds): Proceedings of 1994 ACM SIGMOD International Conference on Management of Data, May 1994. Minneapolis, Minnesota, 1994, pp 313-324
20. Committee on Models for Biomedical Research. Models for Biomedical Research: A New Perspective. National Academy Press, Washington, D.C., 1985
21. Department of Energy. DOE Informatics Summit Meeting Report, April 1993. Available via gopher at gopher.gdb.org.
22. Deux, O.: The story of O2. IEEE Trans. Knowledge Data Eng. 2:91-108 (1990)
23. Etzold, T., Argos, P.: SRS: An indexing and retrieval tool for at file data libraries. Comput. App. Biosci. 9:49-57 (1993)
24. Fegaras, L., Maier, D.: Towards an effective calculus for object query languages. In: Proceedings of ACM SIGMOD International Conference on Management of Data, May 1995. San Jose, California, 1995, pp 47-58
25. Goodman, N., Reeve, M. P., Stein, L.: The design of mapbase: An object oriented database for genome mapping. Technical report, Whitehead Institute for Biomedical Research, One Kendall Square, Cambridge, Mass. 1992
26. Hara, C., Popa, L.: Querying Shore using CPL, August 1996. Manuscript available from chara@saul.cis.upenn.edu.
27. Jategaonkar, L. A., Mitchell, J.C.: Type inference with extended pattern matching and subtypes. Fund. Informaticae 19:127-165 (1993)
28. Kim, W.: A new way to compute the product and join of relations. In: Proceedings of ACM SIGMOD International Conference on Management of Data, 1980, pp 179-187
29. Lellahi, K., Tannen, V.: A calculus for collections and aggregates, August 1996. Manuscript available from val@saul.cis.upenn.edu.
30. Libkin, L., Machlin, R., Wong, L.: A query language for multidimensional arrays: Design, implementation, and optimization techniques. In: Proceedings of ACM SIGMOD International Conference on Management of Data, June 1996 Montreal, Canada, 1996, pp 228-239
31. Litwin, W., Abdellatif, A.: Multidatabase interoperability. IEEE Comput. 19:10-18, (1986)
32. Maier, D., Vance, B.: A call to order. In: Proceedings of 12th ACM Symposium on Principles of Database Systems, May 1993. Washington, D. C., 1993, pp 1-16
33. Markowitz, V., (ed.) J. Comput. Biol., vol. 2. Mary Ann Liebert, Inc, Winter 1995
34. Meeting on Interconnection of Molecular Biology Databases. Abstract of participants, July 1995. Available at url http://www.ai.sri.com/~pkarp/mimbd/95/abstracts.html.
35. Milner, R.: A theory of type polymorphism in programming. J. Comput. Syst. Scie., 17:348-375 (1978)
36. Milner, R., Tofte, M., Harper, R.: The Definition of Standard ML. MIT Press, 1990
37. Nakayama, M., Kitsuregawa, M., Takagi, M.: Hash-partitioned join method using dynamic destaging strategy. In: Proceedings of Conference on Very Large Databases, 1988, pp 468-478
38. National Center for Biotechnology Information, National Library of Medicine, Bethesda, MD. NCBI ASN.1 Specification, 1992. Revision 2.0
39. Navathe, S., Gala, S., Geum, S., Kamath, A., Krishnaswamy, A., Savasere, A., Whang, W.: A federated architecture for heterogeneous information systems. In: Workshop on Heterogeneous Databases. National Science Foundation, December 1989
40. NCBI. ENTREZ: Sequences users's guide. Technical Report Release 1.0, National Center For Biotechnology Information, National Library of Medicine, Bethesda, MD, 1992
41. Ohori, A., Buneman, P., Breazu-Tannen, V.: Database programming in Machiavelli, a polymorphic language with static type inference. In: Clifford, J., Lindsay, B., Maier, D., (eds.) Proceedings of ACMSIGMOD International Conference on Management of Data, June 1989. Portland, Oregon, 1989, pp 46-57
42. Overbeek et al.: GenoBase Database Gateway, July 1995. Available at url http://specter.dcrt.nih.gov:8004.
43. Papakonstantinou, Y., Garcia-Molina, H., Widom, J.: Object exchange across heterogenous information sources. In Proceedings of IEEE International Conference on Data Engineering, March 1995, pp 251-260
44. Pearson, P., Matheson, N., Flescher, N., Robbins, R. J.: The GDB human genome data base anno 1992. Nucl. Acids Res., 20:2201-2206 (1992)
45. Rew, R., Davis, G., Emmerson, S., Davies, H.: Net CDF User's Guide: An Interface for Data Access. Available at www.unidata.ucar.edu/packages/netcdf/guide_toc.html.
46. Ritter, O.: The IGD approach to the interconnection of genomic databases. In: Abstracts of 1st Meeting on Integration of Molecular Biology Databases, August 1994. Stanford University, Stanford CA
47. Searls, D. B.: Doing sequence analysis with your printer. CABIOS 9:421-426 (1993)
48. Searls, D. B.: BioTk: componentry for genome informatics graphical user interfaces. Gene 163:GC1-16 (1995) (appeared electronically in Gene-COMBIS)
49. Smith, J., Bernstein, P., Dayal, U., Goodman, N., Landers, T., Lin, K., Wong, E.: Multibase-Integrating heterogeneous distributed database systems. In: Proceedings of AFIPS, 1981, pp 487-499
50. Tan, Wang Chiew, Wang, K., Wong, L.: QUICK: A graphical user interface to multiple databases, May 1996. Available at http://sdmc.iss.nus.sg/kleisli/limsoonpapers.html.
51. Templeton, M., Brill, D., Dao, S., Lund, E., Ward, P., Chen, A., MacGregor, R.: Mermaid {Eth} a front-end to distributed heterogeneous databases. Proc. IEEE 75:695-708 (1987)
52. Thierry-Mieg, J., Durbin, R.: Acedb D A C. elegans Database: Syntactic Definitions for the ACEDB Data Base Manager, 1992
53. Trinder, P. W.: Comprehensions, a query notation for DBPLs. In: Proceedings of 3rd International Workshop on Database Programming Languages, Nahplion, Greece, August 1991. Morgan Kaufmann, 1991, pp 49-62
54. Trinder, P. W., Wadler, P.L.: Improving list comprehension database queries. In: Proceedings of TENCON'89, Bombay, India, November 1989, pp 186-192
55. Wadler, P.: Comprehending monads. Math. Struct. Comput. Sci. 2:461-493 (1992)
56. Widjojo, S., Wile, D. S., Hull, R.: Worldbase: A new approach to sharing distributed information. Technical report, USC/Information Sciences Institute, February 1990
57. Wiederhold, G: Mediators in the architecture of future information systems. IEEE Comput. pp 38-49 (1992)
58. Wong, L.: Querying Nested Collections. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104, August 1994. Available as University of Pennsylvania IRCS Report 94-09
59. Wong, L.: The Collection Programming Language Reference Manual. Institute of Systems Science, Heng Mui Keng Terrace, Singapore 0511, October 1995. Available at http://sdmc.iss.nus.sg/kleisli/psZ/cpl-defn.ps.
60. Wong, L.: The Kleisli Query System Reference Manual. Institute of Systems Science, Heng Mui Keng Terrace, Singapore 0511, October 1995. Available at http://sdmc.iss.nus.sg/kleisli/psZ/kleisli-manual.ps.
61. Wong, L.: The Kleisli/CPL Extensible Query Optimizer Programmer Guide. Institute of Systems Science, Heng Mui Keng Terrace, Singapore 0511, November 1995. Available at http://sdmc.iss-nus.sg/kleisli/psZ/cplopt.ps.
62. Wong, L.: Normal forms and conservative extension properties for query languages over collection types. J. Comput. Syst. Sci. 52: (1996) to appear