next up previous contents
Next: Scope Up: Descriptions Previous: Refinement


There are two forms of references in Noos: name references and path references . We already have used identifiers as name references--e. g. John description referred to Nick description as father. Clearly, only named descriptions have identifiers, so anonymous descriptions cannot be referred to by named references. Path references can designate any description by specifying a sequence of feature names that from a named description leads to the target description. The syntax for a path reference is a list that starts with ``>>'' (pronounced chip-chip), following there is a sequence of feature names, and finally the separator ``of'' and the identifier of the named description. For instance, the father of the mother of John (which is David in Example 2.1) is written:

It is clear that this reference is in fact the concatenation of two references: the reference to the mother of John, say X, and then reference to the father of X. We can write this two concatenated references as follows:

In fact, the first expression is just short syntax for the second syntax. Usually, this is not an important difference--except when working with reflective operations--like reify--that do work with syntax itself. The intuitive interpretation of path reference is that of functional composition. As we said, features can be interpreted as functions, as in tex2html_wrap_inline1883 . Thus, path reference (>> father mother of John) is the functional composition of father and mother functions--namely tex2html_wrap_inline1965 .


A query engages the system in inference and lazy evaluation determines that only the feature values needed for the query will be expanded. The Listener, however, does not accept named references from the user. The reason is related to this question: What is the meaning of a null length path reference? A null length path reference, like (>> of John), is by definition the name reference to John. So named references are subsumed as a special case of path references, but the shortcut of using only the name is useful in descriptions--but not on the Listener where the null path reference has to be used (see the penultimate line of Example 2.4).


tex2html_wrap_inline1865 We can distinguish two kinds of path references: absolute and relative . Absolute path references are those we have already introduced: path references that specify a path from an fixed starting point given by the identifier of a named description after the of token. For instance, (>> father mother of John) is an absolute path that leads from John to David. A relative path reference elides the fixed start given by a name and simply specifies a path, e. g. (>> father mother). A relative path reference has to be interpreted also as functional composition --this time over variables, as in tex2html_wrap_inline1987 . The rules of scope specify how these variables are to be bound.

next up previous contents
Next: Scope Up: Descriptions Previous: Refinement

Enric Plaza
Thu Jan 23 11:36:28 MET 1997