Database(S)

alql.spad line 115 [edit on github]

S : OrderedSet with
elt : (%, Symbol) -> String
display : % -> Void
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

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

coerce : % -> OutputForm: from CoercibleTo(OutputForm)

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

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

CoercibleTo(OutputForm)