Database.Narc

Query SQL databases using Nested Relational Calculus embedded in Haskell.

The primed functions in this module are in fact the syntactic forms of the embedded language. Use them as, for example:

 let employeesSchema = [("name", TString), ("salary", TNum)] in
 let employeesTable = table "employees" employeesSchema in
 foreach employeesTable $ \emp -> 
   having (primApp "<" [cnst 20000, project emp "salary"]) $
   singleton (record [("name", project emp "name")])

Translation to an SQL representation

narcToSQL :: NarcTerm -> Query

Translate a Narc term to an SQL query.

narcToSQLString :: NarcTerm -> String

Translate a Narc term to an SQL query string--perhaps the central | function of the interface.

serialize :: Query -> String

Serialize a Query to its ASCII SQL serialization. Dies on those Querys that don't represent valid SQL queries.

The language itself

unit :: NarcTerm

A dummy value, or zero-width record.

table :: Tabname -> [(Field, Type)] -> NarcTerm

A reference to a named database table; second argument is its schema type.

cnst :: Constable a => a -> NarcTerm

Lift a constant value into a query. Constable types currently include Bool and Integer.

primApp :: String -> [NarcTerm] -> NarcTerm

Apply some primitive function, such as (+) or avg, to a list of arguments.

abs :: (String -> NarcTerm) -> NarcTerm

Create a functional abstraction.

app :: NarcTerm -> NarcTerm -> NarcTerm

Apply a functional term to an argument.

ifthenelse :: NarcTerm -> NarcTerm -> NarcTerm -> NarcTerm

A condition between two terms, as determined by the boolean value of the first term.

singleton :: NarcTerm -> NarcTerm

A singleton collection of one item.

nil :: NarcTerm

An empty collection.

union :: NarcTerm -> NarcTerm -> NarcTerm

The union of two collections

record :: [(String, NarcTerm)] -> NarcTerm

Construct a record (name-value pairs) out of other terms; usually used, with base values for the record elements, as the final result of a query, corresponding to the select clause of a SQL query, but can also be used with nested results internally in a query.

project :: NarcTerm -> String -> NarcTerm

Project a field out of a record value.

foreach :: NarcTerm -> (NarcTerm -> NarcTerm) -> NarcTerm

For each item in the collection resulting from the first argument, give it to the function which is the second argument and evaluate--this corresponds to a loop, or two one part of a cross in traditional SQL queries.

having :: NarcTerm -> NarcTerm -> NarcTerm

Filter the current iteration as per the condition in the first argument. Corresponds to a where clause in a SQL query.

result :: [(String, NarcTerm)] -> NarcTerm

A shortcut for giving the typical bottom of a ``FLWOR-style'' comprehension:

 foreach t $ \row ->
 having (project x "a" > 2) $ 
 result [("result", project x "b")]

data Type

Constructors

TBool

TNum

TString

TUnit

TList Type

TArr Type Type

TRecord [(String, Type)]

TVar TyVar

Instances

Eq Type

Show Type

Arbitrary Type