Database.HaskRel.Relational.Expression

Functions defined according to the definition of monadic operators in relational theory

The monadic operator class

class MonOp a

The functions defined as monadic operators in the relational algebra

rename

extend

restrict

project

projectAllBut

group

groupAllBut

ungroup

Supplementary functions

Specializations of functions of the relational model, with relational closure

Not part of relational theory

dExtend

extendA

dExtendA

renameA

aSummarize

imageExtendL

Without relational closure

image

member

notMember

Not part of relational theory

rafoldr

rafoldrU

agg

aggU

count

isEmpty

rAgg

rAggU

Functions defined according to the definition of dyadic operators in relational theory

The dyadic operator class

class DyaOp a b

dyaOp

The functions defined as dyadic operators in the relational algebra

naturalJoin

nJoin

times

matching

semiJoin

notMatching

semiDiff

union

dUnion

intersect

minus

xUnion

isProperSubsetOf

isSubsetOf

rEq

Somewhat deprecated operators of the relational algebra

summarize

Specializations of functions of the relational model, with relational closure

Not part of relational theory

interJoin

iJoin

Assignment functions

The assignment operator class

class RelAssign a

The primitive assignment function

assign

Specialized assignment functions

insert

dInsert

delete

iDelete

deleteP

update

updateAll

Further specialized and simplified forms of update

Not part of relational theory

updateA

updateAllA

Additional classes

class NotEmpty l