Permit navigation through foreign keys of instances of Domain Types

[GoogleCodeExporter]

What new or enhanced feature are you proposing?
Currently it is only possible to obtain a flat Domain Instance when using a 
Domain Iterator; that is, even if a foreign key is defined in the Domain Type, 
it is not possible to navigate through this relationship.

What goal would this enhancement help you achieve?
As discussed in the thesis, while this approach should be the exception and not 
the norm, it is still desirable for some applications.

As discussed in the thesis, there are a number of potential techniques:

1. A Domain Attribute Instance defines and contains a Domain Instance for each 
foreign key instance. Would not work for multiple instances of a foreign key.

2. A Function is implemented to accept EClass terms as above, and a Domain 
Attribute Instance can then define a Function for each foreign key. Would not 
work for multiple instances of a foreign key unless arrays/collections were 
defined.

3. A Domain Iterator may contain sub-iterators, which can then be navigated as 
a normal Domain Iterator.

Original issue reported on code.google.com by soundasleep on 10 Mar 2011 at 3:00

[GoogleCodeExporter]

This may be implemented through the DomainReference subtype of DomainFeature.

Original comment by soundasleep on 9 Aug 2011 at 3:35

[GoogleCodeExporter]

mass tagging old issues to future work

Original comment by soundasleep on 26 Sep 2011 at 9:54

• Added labels: Milestone-Release0.7