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

Advertisements

From type policy to typology

Now that the founding dichotomy is chosen, there are additional steps to achieve in order to build what the database shall exemplify, a typology. But the type policy can't restrict to this preliminary choice. The construction of a typology requires to obey explicit naming rules and is probably closely bond to the evolution of implied … Continue reading From type policy to typology

More about properties and types

As we can grasp it now the node table is mess: nodes don't appear in the order of their chain but according to the moment in which they were created. Though located in another table, symbols look like nodes but constitute another type of entry. But of what types are we talking about in this … Continue reading More about properties and types

How to delete a record: flyers and junk

? select remove_record(-214) 4 This function takes care of cleaning the base (more precisely the symbol table) from occurences of the deleted record, replacing them by 0. It only accepts valid record ids (identification numbers) and returns the number of nodes deleted (not the number of nodes modified). Flyers and junks The record contains symbols … Continue reading How to delete a record: flyers and junk

How to create a record

In the previous example we were trying to append a symbol to a record called 'myrecord'. Let's see how to create this record. We can do this conveniently through make_record(): ? select make_record('myrecord','test') -204 How does this new record, which only has a title and a format, look like: ? select send_full_record(-204,1) -204 63 -201 … Continue reading How to create a record