minor technical on 10.4.3 Description of resources

10.4.3 Description of resources
Formal definition, you may want to do an explicit DISTINCT reduction
on "U union project(SM(SQ), VS)" to indicate that the result graph
does not contain redundant information.

Fred Zemke

Received on Thursday, 12 January 2006 17:36:27 UTC