-
Notifications
You must be signed in to change notification settings - Fork 1
Glossary
DISCLAIMER: this page is written by a User. It is not an "official" hypergraphDB document. It is as of yet, incomplete.
arity: The number of atoms a link points to. Nodes have an arity of zero.
A type that has properties, for example a Bean. A String or an Integer are not composite types.
The set of all links pointing to a given atom.
Java classes implementing the HGAtomType interface are HypergraphDB types. A HGAtomType must provide:
- make(...): create instances of that type, i.e. deserializes from store into a runtime object. It's therefore an object factory.
- store(..): store
- release (... ): remove from store
- subsumes(A1, A2): define subsumption relationship, aka inheritance
The java interface to be implemented for record-style structures.
"In computer science, a record (also called tuple, struct, or compound data) ... is a value that contains other values, typically in fixed number and sequence and typically indexed by names. The elements of records are usually called fields or members." (wikipedia)
"Record-style structures with named parts are so common that we have defined an abstract interface for them called HGCompositeT ype that views complex values as multidimensional structures where each dimension is identified by a name and has an associated HGP rojection implementation which is able to manipulate a value along that dimension." paper
The set of atoms a given link points to.
“...plugging instructions. A term of a given type T is both something that can be plugged somewhere as well as a plug with free, typed variable" (Jean-Yves Girard)
- A type is an atom capable of storing, constructing and removing runtime representations of its instances to and from the primitive storage layer.
- A type is capable, given two of its instances, to tell whether one of them can be substituted for the other (subsumption relation). paper
The java class defining an hypergraphDB type must implement the HGAtomType interface.