Database.Algebra.Table.Construct

Value and type constructors

int

string

bool

double

dec

nat

intT

stringT

boolT

decT

doubleT

natT

Smart constructors for algebraic operators

dbTable

litTable

litTable'

eqJoin

thetaJoin

semiJoin

antiJoin

rank

difference

rowrank

select

distinct

cross

union

proj

aggr

winFun

rownum

rownum'

Lifted smart constructors for table algebra operators

thetaJoinM

semiJoinM

antiJoinM

eqJoinM

rankM

differenceM

rowrankM

selectM

distinctM

crossM

unionM

projM

aggrM

winFunM

rownumM

rownum'M