ffs.cam - a CAMILA library for sets of finite mappings
ffsPLUS(s:(A->B)-set):(A->B)-set
ffsCount(a:A,v:B,r:(A->B)-set):NAT0
ffsHistogr(a:A,r:(A->B)-set):B->NAT
ffsPro(a:A,r:(A->B)-set):B-set
ffsAtts(r:(A->B)-set):A-set
ffsJoin(f:(A->B)-set,g:(A->B)-set): (A->B)-set
ffsRename(r:A->A,f:(A->B)-set): (A->B)-set
ffsColSUM(a:A,r:(A->B)-set): INT
ffsColSUMseq(t:(A->B)-set,l:A-seq ):INT
ffs2txt(s:(A->B)-set): txt
ffs2TeXtxt(s:(A->B)-set): txt
ffs2HTMLtxt(s:(A->B)-set): txt
This library is concerned with the (A->B)-set functor.
Such a 'set of mappings' data type is very expressive,
as it can be regarded as modelling object populations,
relational tables (with NULL values), feature bundles, etc.
In the documentation below we will be referring to columns or
attribute names (A),
data values (B), rows or tuples (A->B) and
relations or tables ((A->B)-set).
The informal semantics of the operators are as follows:
ffsPLUS(s)
reduces set of mappings s via plus (which is
idempotent and commutative).
ffsCount(a,v,r)
computes the number tuples in r in which data
value v occurs in the a column.
ffsHistogr(a,r)
generates the histogram (multiset) of
attribute a in r.
ffsPro(a,r)
computes the a column of r (projection).
ffsAtts(r)
the set of all attributes referred to in r.
ffsJoin(f,g)
performs the relational join operation between f
and g
ffsRename(r,f)
renames the attribute names if f according to
rename mapping r.
ffsColSUM(a,r)
adds integer values of the a-column of r (if
any).
ffsColSUMseq(t,l)
extends ffsColSUM to a selection of columns.
ffs2txt(s)
generates a tabular picture of s in txt format.
ffs2TeXtxt(s)
is similar to ffs2txt(s)
but it
generates LaTeX tabular environments.
ffs2HTMLtxt(s)
is similar to ffs2txt(s)
but it
generates HTML.
Manual(s)
of str.cam txt.cam int.cam ff.cam.
J.N. Oliveira (jno@di.uminho.pt)