Formal Definition
From WebLichtWiki
(Difference between revisions)
(Blanked the page) |
|||
Line 1: | Line 1: | ||
+ | == Formal Chaining Specification == | ||
+ | <math>\mathcal{N}</math> a set of all the possible value names, | ||
+ | <math>\mathcal{F}</math> a set of all the possible feature names, | ||
+ | feature set <math>F \subseteq \mathcal{F}</math> a set of feature names, | ||
+ | feature/value relation <math>V \subseteq \mathcal{F} \times \mathcal{N}</math> a set of <math>(\text{feature name, value name})</math> ordered pairs, i.e. a binary relation between <math>\mathcal{F}</math> and <math>\mathcal{N}</math>. | ||
+ | =Example:= | ||
+ | <math> | ||
+ | \begin{matrix} | ||
+ | F_1 &= \{lang,type\} \\ | ||
+ | V_1 &= \{(lang,en),(lang,de),(type,text/plain)\} | ||
+ | \end{matrix} | ||
+ | </math> |
Revision as of 11:43, 13 March 2012
Formal Chaining Specification
a set of all the possible value names,
a set of all the possible feature names,
feature set a set of feature names,
feature/value relation a set of (feature name, value name) ordered pairs, i.e. a binary relation between and .
Example: