Database SΒΆ

alql.spad line 115

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.
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
latex: % -> String
from SetCategory

BasicType

CoercibleTo OutputForm

SetCategory