Algorithm 2: IsCoreRule Function

Require: R, Set  Ensure: $TrueorFalse$   for $\forall {\mathrm{R}}_{★}$ $\ne \mathrm{R}$ $\in \mathrm{SET}$ do    if R$[\mathrm{D}$ $]={\mathrm{R}}_{★}$$\left[\mathrm{D}\right]$ and R $[\mathrm{DOM}$$]={\mathrm{R}}_{★}$$\left[\mathrm{DOM}\right]$ then     $provideFlag\leftarrow True, sharesFlag\leftarrow True$     if R★ $\left[\mathrm{SHARES}\right]=\varnothing$ then      $sharesFlag\leftarrow False$      else      for $\forall {\mathrm{D}}_{∆}$ $\in R_{★}$ $\left[\mathrm{SHARES}\right]$ do        if ${\mathrm{D}}_{∆}\notin \mathrm{R}$ $\left[\mathrm{S}\mathrm{H}\mathrm{A}\mathrm{R}\mathrm{E}\mathrm{S}\right]$ then         $SharesFlag\leftarrow False$      end if     end for    end if    for $\forall {\mathrm{S}}_{∆}$ $\in {\mathrm{R}}_{★}$ $\left[\mathrm{P}\mathrm{R}\mathrm{O}\mathrm{V}\mathrm{I}\mathrm{D}\mathrm{E}\mathrm{S}\right]$ do      if ${\mathrm{S}}_{∆}\notin \mathrm{R}$ $\left[\mathrm{P}\mathrm{R}\mathrm{O}\mathrm{V}\mathrm{I}\mathrm{D}\mathrm{E}\mathrm{S}\right]$ then       $provideFlag\leftarrow False$      end if     end for     if $provideFlag=True$ and $sharesFlag=True$ then      return $False$    end if   end if  end for  return $True$