Consistency Rule Set

Consistency rule set

Colour codes and notation

Consistency Rule
Description
Set
Rule
  • For all in ,

Colour codes and notation

  • Set represents a set of nodes
  • set is an element of Set
  • | Set | is the cardinality of Set
  • Set / (formula) is the restriction of Set by formula, the result is also a set
  • and
  • or
  • =
  • !=
  • | /( ) | | /( ) | ( and ) ( or ) = = Subset{ , }= IsIntersect{ , }= / / , ,