The Numerator is a decimal literal which may not need a denominator
The Denominator allows exact representation of decimal fractions
A PresenceConstraint is internal if all Roles of its RoleSequence are of the same FactType, else it's external
{0} is subtype of super- {1}
{0} is supertype of {1}
{0} is subtype of super- {1}
{0} is supertype of sub- {1}
{0} is supertype in {1}
{0} involves super- {1}
{0} is subtype in {1}
{0} involves sub- {1}
{0} provides identification
{0} has role- {1}
role- {0} is name of {1}
{0} has {1}
{0} is of {1}
{0} has {1}
{0} is of {1}
{0} has {1}
{0} constrains {1}
{0} has minimum- {1}
{0} has maximum- {1}
{0} allows {1}
{0} is of {1}
{0} is derived from base- {1}
{0} is derived in {1}
{0} involves derived- {1}
{0} contributes to {1}
{0} depends on {1}
{0} has {1}
{0} is precise
{0} has {1}
{0} has {1}
{0} has {1}
{0} has role- {1}
{0} applies to {1}
{0} is independent
{0} is of {1}
{0} is called {1}
{0} objectifies {1}
{0} is objectified as {1}
{0} has {1}
{0} is for {1}
{0} has leading- {1}
{0} has trailing- {1}
{0} has {1}
{0} is in {1}
{0} is for {1}
{0} is of {1}
{0} has {1}
{0} has other- {1}
other- {0} is of {1}
{0} is of {1}
{0} is called {1}
{0} requires {1}
{0} applies to {1}
{0} has {1}
{0} is of {1}
{0} has in {1} position {2}
{0} is {1} in {2}
in {0} position {1} has {2}
{0} has {1} in {2} position
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} covers {1}
{0} in {1} position includes {2}
{0} is in {1} in {2} place
{0} includes {1} in {2} place
{0} has {1} place in {2}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} covers superset- {1}
{0} covers subset- {1}
{0} is of {1}
{0} has max- {1}
{0} has min- {1}
{0} has {1}
{0} is of {1}
{0} has {1}
{0} is of {1}
{0} includes {1}
{0} belongs to {1}
{0} includes {1}
{0} belongs to {1}
{0} includes {1}
{0} belongs to {1}
{0} fulfils {1}
{0} includes {1}
{0} plays {1}
{0} is of {1}
{0} is of {1}
{0} includes {1}
{0} belongs to {1}
{0} has {1}
{0} is of {1}
{0} is inclusive
{0} is in {1} position
{0} reading for fact type is {1}
Only valid when min- and max- frequency is one
{0} is preferred identifier
{0} is mandatory
{0} is involved in {1}
{0} involves {1}
{0} is mandatory
{0} is fundamental
{0} contains {1}
{0} belongs to {1}
{0} is called {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} uses {1}
{0} has {1}
{0} includes {1}
{0} is in {1}
{0} has parameter called {1}
{0} identifies parameter of {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} allows {1} to have {2}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} applies to {1}
{0} uses {1}
{0} is called {1}
{0} has {1}
{0} is of {1}
{0} has {1}
{0} is for {1}
{0} has {1}
{0} is of {1}
{0} is according to {1}
{0} claims {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} was added by {1}
{0} covers {1}
{0} was reached by {1}
{0} agreed on {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} was on {1}
{0} is of {1}
{0} objectifies {1}
{0} is objectified as {1}
{0} is in {1}
{0} is of {1}
{0} is represented by {1}
{0} represents {1}
{0} is literal string
{0} notifies {1}
{0} has {1}
{0} is of {1}
{0} has unused dependency to force table in NORMA
{0} provides {1} coefficient
{0} uses coefficient from {1}
{0} is optional
{0} is disallowed
{0} is for {1}
{0} contains {1}
{0} is called {1}
{0} is of {1}
{0} is at {1}
{0} is at {1}
{0} is in {1}
{0} includes {1}
{0} is at {1}
{0} is expanded
{0} has {1}
{0} has {1}
{0} is for {1}
{0} has {1}
{0} is for {1}
{0} has {1}
{0} has {1}
{0} is for {1}
{0} is for {1}
{0} has {1}
{0} displays {1} in {2} position
{0} displays in {1} position {2}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} is for {1}
{0} is for {1}
{0} has {1}
{0} is for {1}
{0} has {1}
{0} is for {1}
{0} is for {1}
{0} has {1}
{0} is for {1}
{0} has {1}
{0} is attached to {1}
{0} has {1}
{0} is of {1}
{0} was lodged on {1}
{0} has plural- {1}
plural- {0} is of {1}
{0} has {1} position
{0} includes {1}
{0} is in {1}
{0} is restricted by {1} of {2}
{0} contains {1} restricting {2}
{0} is auto-assigned at {1}
{0} is for {1}
{0} is referenced in {1}
{0} specifies {1}
{0} directs {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} projects {1}
{0} is projected from {1}
{0} is bound to {1}
{0} has {1}
{0} is of {1}
{0} applies to relevant- {1}
{0} has {1}
{0} has role- {1}
{0} is of {1}
{0} falls under {1}
{0} covers {1}
{0} has {1}
{0} is of {1}
{0} belongs to {1}
{0} contains {1}
{0} plays {1}
{0} is played by {1}
{0} fills {1}
{0} applies to {1}
{0} is of {1}
{0} belongs to {1}
{0} members are exclusive
{0} has {1}
{0} is of {1}
{0} is bound to {1} over aggregated- {2}
{0} of aggregated- {1} is bound as {2}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} has {1}
{0} is of {1}
{0} projects {1}
{0} is projected from {1}
{0} has {1}
{0} is of {1}
{0} is implied by {1}
{0} is negative
{0} has implying- {1}
implying- {0} implies {1}
{0} is for {1}
{0} implies {1}
{0} requires value of parameter- {1}
{0} is of {1}
{0} has {1}
{0} requires matching {1}
{0} is an instance of {1}
{0} is an instance of {1}
{0} is an instance of {1}
{0} is an instance of {1}
{0} is an instance of {1}
{0} is an instance of {1}
{0} is an instance of {1}
{0} is an instance of {1}
{0} is an instance of {1}
{0} is an instance of {1}
{0} is involved in {1}
{0} involves {1}
{0} is input
{0} matches nesting over {1}
{0} nests as {1}
{0} has topic- {1}
topic- {0} is of {1}
{0} belongs to {1}
{0} contains {1}
{0} has mapping- {1}
{0} applies to {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} has {1}
{0} is of {1}
{0} contains {1}
{0} belongs to {1}
{0} represents {1}
{0} belongs to {1}
{0} contains {1}
{0} traverses to child- {1}
{0} flattens
{0} projects {1}
{0} traverses from parent- {1}
{0} indicates {1} played
{0} distinguishes {1} using {2}
{0} is indicated by {1} for {2}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} has {1}
{0} is of {1}
{0} is involved in {1}
{0} involves {1}
{0} is called {1}
{0} is of {1}
{0} is nested under index- {1} in {2} position
{0} in {1} position is nested under {2}
{0} keys nesting of {1} at {2} priority
{0} projects {1}
{0} consists of {1}
forward- {0} is matched by reverse- {1}
reverse- {0} is reverse of forward- {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} has key- {1}
{0} uses {1}
{0} has {1} rank
{0} for {1} field uses {2}
{0} provides {1} field for {2}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} is to {1}
{0} is reached through {1}
{0} has {1}
{0} is of {1}
{0} traverses from source- {1}
{0} contains {1}
{0} for {1} field uses {2}
{0} provides {1} field for {2}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} is discriminated by {1}
{0} is unique
{0} fully absorbs {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} applies to {1}
{0} creates {1}
{0} is discriminated by {1}
{0} is called {1}
{0} has primary- {1}
{0} is primary for {1}
{0} derives from {1}
{0} gives rise to {1}
{0} derives from {1}
{0} has leaf- {1}
{0} applies to {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} contains local- {1}
local- {0} connects leaves of {1}
{0} has spanning- {1}
{0} spans {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} has natural- {1}
{0} is natural for {1}
{0} implicitly objectifies implicitly- objectified {1}
{0} has informal- {1}
{0} uses true- {1}
{0} uses false- {1}
{0} has absolute name
{0} uses native- type {1}
parent- {0} contains {1}
{0} is contained in parent- {1}
{0} is for {1}
{0} projects derived- {1}
derived- {0} is projected from {1}
{0} imports precursor- {1}
{0} has {1}
{0} is into {1}
{0} is imported {1}
{0} is from {1}
{0} has role- {1}
{0} has file- {1}
{0} has {1}
{0} includes {1}
{0} is in {1}
{0} has {1} position
{0} is transform
{0} has {1}
{0} is by compositor- {1}
{0} has {1}
{0} is of {1}
{0} has {1}
{0} has {1}
{0} has {1}
{0} has first- operand {1}
{0} has second- operand {1}
{0} has third- operand {1}
{0} in {1} position maps to {2}
{0} is in {1} in {2} position
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} has leading- {1}
{0} has trailing- {1}
{0} has {1}
{0} is of {1}
{0} in {1} position maps to {2}
{0} is in {1} in {2} position
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
{0} has leading- {1}
{0} has trailing- {1}
{0} maps from {1}
{0} maps from source- {1}
{0} maps from source- {1}
{0} consists of {1}
{0} is part of {1}
{0} is an instance of {1}
{0} implements {1}
{0} is implemented by {1}
{0} has {1}
{0} is of {1}
{0} belongs to {1}
{0} has injection- {1}
{0} is involved in {1}
{0} involves {1}
{0} has {1}
{0} covers {1}
{0} is involved in {1}
{0} involves {1}
{0} is involved in {1}
{0} involves {1}
Either a lexical representation or a string
Example and Reference populations are standard
A constraint is deontic if and only if it requires enforcement
A Query is a network of Variables
connected by Steps.
A Step requires that the
Role(s) must be filled by
the same Fact, or that
such a fact does not exist.
Every role in an objectified Fact Type implies a Link Fact Type
with a Mirror Role and an objectification Role
A Variable refers to
instances of an Object Type
A Name or Adjective may contain single spaces between words
ValueTypes that can be auto-assigned at
assert time are GUIDs or transaction
numbers, which can be assigned without
reference to the existing population.
An Alternative Set requires one of its steps to be taken
A Play restricts the object
that satisfies this variable
based on whether it plays
this Role
A Variable refers to players of a Role.
A Variable refers
to instances of
an Object Type
A Term may contain multiple
words separated by single spaces
People who understand
a certain Topic form a
semantic communty
People who speak a certain
Language form a speech
community. This includes
culture and locale aspects.
Legacy Parameters
If for some Mapping, that Mapping is some Absorption that traverses to some child Role
that is played by some Object Type then that Mapping represents that Object Type.
An Indicator indicates that a role is played, without mapping to a counterpart object.
A Scoping is a named context that carries
no information but merely wraps
its parent's Object Type
An Injection is a Component added in the composition, e.g.
a surrogate key or audit field like a timestamp or data source name
A Discriminator is a value type that indicates which of several
alternate roles is played. It replaces more than one Indicator
An absorption always traverses a binary Fact Type
which is always either one-to-one or one-to-many.
In an objectified Fact Type, LinkFactTypes are often traversed.
If some Absorption traverses from some parent Role that is played by some Object Type then
that Absorption is some Component that belongs to some parent Mapping that represents that Object Type.
A ValueField is injected to hold the value of a ValueType
A Composite is e.g. a
relational table or an
XSD ComplexType
Ordinal preserves a preferred ordering of member Components
Nesting supports specific kinds of denormalised structures such as SQL
repeated attributes, Set (no nesting role), Array (one small integer key
role) and HSTORE (one or more key roles) composite data types.
Every Component must project a Name
except an Absorption that flattens
A Composite consists of a tree of
Components starting with a Mapping
A Composition is a group of Composites each
mapping one Object Type and possibly containing
other Object Types that are Fully Absorbed
Descending means that smaller values are more restrictive,
ascending means larger values are, and fixed means
subtypes must choose from the existing values.