| 
|
Quote: a record is a total function from an index range to values and a partial function from labels to indices
Topic:
data record
Quotation Skeleton
A record r is a partial function from … The simplest decomposition of this function is [h from Labels to [1,n], and v from [1,n] to Values] … called the header, describes how labels are mapped … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: data record (57 items)