Quote: define object types by arbitrarily nested records (f:t), sets {t}, bags {|t|}, lists [t], and variants ; natural mappings for bioinformatics databases

Quotation Skeleton

The data model underlying Kleisli is a complex … relational databases [ref]. It allows arbitrarily nested records, … a type that is "either this or that". … [with variants used for mixed types]. … In general, the types are freely formed by … num, string, bool are the base types. … The types {t}, {|t|}, and [t] respectively construct … , l_n:t_n) constructs record types … The type constructs variant types … [p. 3] The schemas and structures of all popular … we can directly and naturally map sets to … data model, without having to make any (type) …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: uniform reference to data (34 items)
Topic: set-oriented languages (20 items)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)
Group: derived data types   (9 topics, 119 quotes)