HaskellDB. Datenbank-Features in Haskell Johannes Reiher

Transkript

1 HaskellDB Datenbank-Features in Haskell

2 Gliederung Was ist HaskellDB? Installation ORM Funktionsweise Vor- und Nachteile

3 Was ist HaskellDB? Datenbank-Interface-Bibliothek Ursprünglich für Hugs entwickelt Ermöglicht SQL-Abfragen, Insert, Update und Delete - rein in Haskell geschrieben Operationen basieren auf relationaler Algebra

4 Installation HaskellDB-Paket HaskellDB-Connector (z.b. HDBC, ODBC) Datenbankserver (z.b. PostgreSQL, MySQL) Existierende Datenbank

5 Connection module Publications.Model.Connect where import Database.HaskellDB.HDBC import Database.HaskellDB.Sql.PostgreSQL importdatabase.hdbc.postgresql(connectpostgresql) withdb:: [(String,String)] -> (Database -> IO a) -> IO a withdbopts= hdbcconnectgenerator(connectpostgresqlconninfo) whereconninfo= unwords[ k ++ "=" ++ v (k,v) <-opts] opts= [("host","localhost"),("user","your_username"),("password","your_password"),("dbname","your_db_name")]

6 ORM -Begriffe Object-Relational-Mapping Verbindung von Objektorientierung und SQL Speicherung in Relationen Datenbankobjekte Aufbau durch strukturierte Datentypen Möglichkeit der Strukturierung, Kapselung, Vererbung

7 ORM Mapping von Feldern {-# LANGUAGE TemplateHaskell#-} -- All databasefields. module Publications.Model.Fields where importdatabase.haskelldb.th --Keys. field"id" "id" "id" [t Int ] --Data fields. field"title" "title" "title" [t String ]

8 ORM Mapping von Feldern field"title" "title" "title" [t String ] Name des Typs Name des Feldes Spaltenbezeichnung in der Datenbank

9 ORM Mapping von Tabellen {-# LANGUAGE TemplateHaskell #-} -- Database tables andentities. module Publications.Model.Tables where importpublications.model.fields asfields importdatabase.haskelldb.th import Prelude() -- Content table. table"content" "content ['id,'title ]

10 ORM -Importe import qualified Publications.Model.Fields as F importqualifiedpublications.model.tablesast import Database.HaskellDB import Database.HaskellDB.HDBRec

11 Abfragen simpleselection = do table T.content simpledoubleselection= do table T.content table T.authors simpleprojection= do content <- table T.content project $ F.id << content!f.id simpleprojection2 = do content <- table T.content project $ F.id << content!f.id # F.title << content!f.title

12 simplerestriction = do content <- table T.content restrict $ content!f.title.==. constant"coco Jambo" return content -- Equalitycomparisonon Exprs, = in SQL. (.==.) :: Eqa => Expra -> Expra -> ExprBool -- Inequalityon Exprs, <> in SQL. (.<>.) :: Eqa => Expra -> Expra -> ExprBool (.<.) :: Orda => Expra -> Expra -> ExprBool (.>=.) :: Orda => Expra -> Expra -> ExprBool -- \"Logical and\" on 'Expr', AND in SQL. (.&&.):: ExprBool-> ExprBool-> ExprBool -- \"Logical or\" on 'Expr'. OR in SQL. (..) :: ExprBool-> ExprBool-> ExprBool

13 Beispiele SELECT X.FirstName, X.LastName FROM Authors AS X WHERE X.City = 'OakLand' oaklands= do{ x <-table authors ; restrict(x!city.==. constant "Oakland") ; project(au_fname= x!au_fname,au_lname= x!au_lname) }

14 Beispiele samecity= do{ x <-table authors ; y <-table authors ; restrict (x!au_id.<>. y!au_id) ; restrict (x!city.==. y!city) ; project (au_fname = x!au_fname,au_lname = x!au_lname,city = x!city) }

15 SQL-Output λ> ppsqlunopt simpleselection SELECT id, title FROM content as T1 λ> ppsqlunopt simpleprojection SELECT id as id1, title as title1 FROM content as T1

16 Insert / Delete simpleinsertdb= do insert db T.content ( F.id << constant 123 # F.title << constant Lemon Tree") simpledelete db = do delete db T.content (\content-> content!f.title.==. constant"coco Jambo") Update analog insert

17 Vorteile Exakte Syntaxprüfung durch Compiler SQL-Wissen wird nicht benötigt Alle Haskell-Features (lazy evaluation ) Plattformunabhängigkeit Felder der Datenbank können beliebig gemappt werden (keine Namensbindung)

18 Nachteile Kryptische Fehlermeldungen bei einfachen Fehlern Abhängigkeit vom Datenbanksystem (SQL-Standard) Feldbezeichner können mehrmals verwendet werden Bei jeder Änderung des Datenbankschemas muss neu kompiliert werden

19 Quellen elldb.pdf ldb/example.html bjektrelationale-datenbank-object-relationaldatabase.html