Search



Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

An alternative approach to querying by testing two expressions for equivalence and subsumption is to transform each expression into its normal form and perform a comparison between the two normal form expressions. For more information on testing equivalence and subsumption between expressions using this approach please refer to section 12.5 of the Terminology Services Guide.

Display Footnotes Macro
 
Page break