Note on coercion

In the last post we saw several means of organizing data, namely templates, subsumption, and examplification. However, those means could be made more effective if there was more direction on how they operate. For instance, examplify() should be able to feed a record without having to repeat type names explicitly, but we didn’t choose the … Continue reading Note on coercion


How to use subdatabases

Subdatabases (subdbs in short) do not differ deeply from formats, but provide a type-record and thus allow subrecords to be created according to a defined structure. When subdbs are there, functions such as examplify(), subsume(), templatize() and get_subject() become available. ? select * from subdbs i sdb n a t u: -47 ~ #Data Structure … Continue reading How to use subdatabases