Formal Definition
From WebLichtWiki
(Difference between revisions)
| Line 5: | Line 5: | ||
feature set <math>F \subseteq \mathcal{F}</math> a set of 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>. | 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> | + | ===Example:=== |
| − | \begin{ | + | |
| − | F_1 &= \{lang,type\} \\ | + | <math> |
| − | V_1 &= \{(lang,en),(lang,de),(type,text/plain)\} | + | \begin{align} |
| − | \end{ | + | F_1 &= \{lang,type\} \\ |
| − | </math> | + | V_1 &= \{(lang,en),(lang,de),(type,text/plain)\} |
| + | \end{align} | ||
| + | </math> | ||
Revision as of 13:12, 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
