Database S¶

alql.spad line 115 [edit on github]

S: OrderedSet with

display: % -> Void

elt: (%, Symbol) -> String

fullDisplay: % -> Void

This domain implements a simple view of a database whose fields are indexed by symbols

+: (%, %) -> %: db1+db2 returns the merge of databases db1 and db2

-: (%, %) -> %: db1-db2 returns the difference of databases db1 and db2 i.e. consisting of elements in db1 but not in db2

=: (%, %) -> Boolean: from BasicType

~=: (%, %) -> Boolean: from BasicType

coerce: % -> OutputForm: from CoercibleTo OutputForm

coerce: List S -> %: coerce(l) makes a database out of a list

display: % -> Void: display(x) displays x in some form

elt: (%, QueryEquation) -> %: elt(db, q) returns all elements of db which satisfy q.

elt: (%, Symbol) -> DataList String: elt(db, s) returns the s field of each element of db.

fullDisplay: % -> Void: fullDisplay(x) displays x in detail

fullDisplay: (%, PositiveInteger, PositiveInteger) -> Void: fullDisplay(db, start, end ) prints full details of entries in the range start..end in db.

latex: % -> String: from SetCategory

CoercibleTo OutputForm