A datom is an atomic fact that represents the addition or retraction of a relation between an entity, an attribute, a value, and a transaction. A datom is expressed as a five-tuple:
an entity id
an attribute
a value for the attribute
a transaction id
a boolean indicating whether the datom is being added or retracted
