Techinical Overview
The core of DSB (Dynamic Structure-Base) is made up of a collection of dynamic hyperarcs that collectively form a hypergraph (1)(2). A hyperarc represents a directed relationship, in the case of DSB two things are related to one other just as an object+attribute relates to a value. The hyperarcs are dynamic as they are defined by a hyperpath and so the relationship the hyperarc gives can change when the structure of the hypergraph changes. Using dependency maintenance, hyperarcs are informed when their hyperpaths have changed and so must be re-navigated to determine their relationship.
A DSB hyperarc has a tail of cardinality 2; in other words each hyperarc is identified by and consists of two source nodes which together refer to a single head node.
