Student paper: HaskellDB improved

ABSTRACT

We present an improved version of the HaskellDB database library. The original version relied on TRex, a Haskell extension supported only by the Hugs interpreter. We have replaced the use of TRex by a record implementation which uses more commonly implemented Haskell extensions.Additionally, HaskellDB now supports two different cross-platform database backends. Other changes include database creation functionality, bounded string support, performance enhancements, fixes to the optimisation logic, transaction support and more fine grained expression types.

REFERENCES

• 1: CERT Vulnerability Note VU#282403, Sept. 2002.
• 2: B. R. Gaster and M. P. Jones. A Polymorphic Type System for Extensible Records and Variants. Technical Report NOTTCS-TR-96-3, Department of Computer Science, University of Nottingham, Nov. 1996.
• 3: Bastiaan Heeren , Jurriaan Hage , S. Doaitse Swierstra, Scripting the type inference process, Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, p.3-13, August 25-29, 2003, Uppsala, Sweden
• 4: Bastiaan Heeren , Daan Leijen , Arjan van IJzendoorn, Helium, for learning Haskell, Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, p.62-71, August 28-28, 2003, Uppsala, Sweden [doi>10.1145/871895.871902]
• 5: International Organization for Standardization. ISO/IEC 9075:1992: Title: Information technology -- Database languages -- SQL. International Organization for Standardization, Geneva, Switzerland, 1992. Available in English only.
• 6: Mark P. Jones, Type Classes with Functional Dependencies, Proceedings of the 9th European Symposium on Programming Languages and Systems, p.230-244, April 02, 2000
• 7: Oleg Kiselyov , Ralf Lämmel , Keean Schupke, Strongly typed heterogeneous collections, Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, September 22-22, 2004, Snowbird, Utah, USA [doi>10.1145/1017472.1017488]
• 8: D. Leijen. The λ Abroad - A Functional Approach to Software Components. PhD thesis, Utrecht University, Nov. 2003.
• 9: Daan Leijen, wxHaskell: a portable and concise GUI library for haskell, Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, September 22-22, 2004, Snowbird, Utah, USA [doi>10.1145/1017472.1017483]
• 10: Daan Leijen , Erik Meijer, Domain specific embedded compilers, Proceedings of the 2nd conference on Domain-specific languages, p.109-122, October 03-06, 1999, Austin, Texas, United States
• 11: André Pang , Don Stewart , Sean Seefried , Manuel M. T. Chakravarty, Plugging Haskell in, Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, September 22-22, 2004, Snowbird, Utah, USA [doi>10.1145/1017472.1017478]
• 12: S. Peyton Jones, M. Jones, and E. Meijer. Type classes: Exploring the design space. In Proceedings of the Second Haskell Workshop, June 1997.
• 13: Tim Sheard , Simon Peyton Jones, Template meta-programming for Haskell, Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, p.1-16, October 03, 2002, Pittsburgh, Pennsylvania [doi>10.1145/581690.581691]

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.3 Languages
          Subjects: Query languages

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.1 Applicative (Functional) Programming
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Data types and structures

General Terms:
Design, Languages

Keywords:
SQL, databases, extensible records, haskell