Formal Definition

From WebLichtWiki

(Difference between revisions)
Jump to: navigation, search
(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 

\mathcal{N} a set of all the possible value names,
\mathcal{F} a set of all the possible feature names,
feature set F \subseteq \mathcal{F} a set of feature names,
feature/value relation V \subseteq \mathcal{F} \times \mathcal{N} a set of (feature name, value name) ordered pairs, i.e. a binary relation between \mathcal{F} and \mathcal{N}.

Example:

\begin{matrix} F_1 &= \{lang,type\} \\ V_1 &= \{(lang,en),(lang,de),(type,text/plain)\} \end{matrix}