IntersectedEntityClass

IntersectedEntityClass[class1,class2,…]

全 classiに共通するすべての実体を含む実体クラスを表す．

詳細とオプション

  • IntersectedEntityClass[class1,class2,…]は，事実上，EntityListを適用した際に見られる各 classiの実体のソートされていない共通集合と等価である．
  • IntersectedEntityClassに現れるクラスがEntityListにおける簡約の後で事実上同じタイプであるなら，結果の実体はそのタイプになる．非互換タイプの補集合を求めた場合，結果の実体は新しいタイプになる．
  • IntersectedEntityClass[class1,class2,…,SameTestProperties {props1,props2,…}]は classiの特性 propsiを使って実体の等価性のテストを行う．
  • EntityProperties[IntersectedEntityClass[class1,class2,…]]は各 classiの全特性をEntityProperty[IntersectedEntityClass[…],"propj"]とともに返す．ここで"propj"は classiのクラスが異なる実体タイプの場合に少なくとも2つのクラスに出現する任意の特性である．

例題

すべて開くすべて閉じる

例  (3)

2つの実体クラスの補集合を計算する：

異なる実体タイプを混ぜると，事実上，空の実体クラスになる：

名前で等価性を再定義すると正しい結果が返される：

リレーショナルデータベースに補強された実体と一緒に使った場合，IntersectedEntityClassはINTERSECT文に相当する：

スコープ  (2)

IntersectedEntityClassを同じタイプの実体クラスと一緒に使う：

異なるタイプの実体は，デフォルトで，異なるとみなされる：

SameTestPropertiesを使ってそれらを名前で照合する：

オプション  (1)

SameTestProperties  (1)

SameTestPropertiesを使って実体間の等価性が定義できる：

特性と関係  (2)

IntersectedEntityClassは，大抵の場合Intersectionと等価である：

陰的なEntityClass式あるいはFilteredEntityClass式の共通集合を求めるときは，条件に論理積を使う方が効率がよいことが多い：

結果のクラスは順序を除いて等しい：

Wolfram Research (2020), IntersectedEntityClass, Wolfram言語関数， https://reference.wolfram.com/language/ref/IntersectedEntityClass.html.

テキスト

Wolfram Research (2020), IntersectedEntityClass, Wolfram言語関数， https://reference.wolfram.com/language/ref/IntersectedEntityClass.html.

CMS

Wolfram Language. 2020. "IntersectedEntityClass." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/IntersectedEntityClass.html.

APA

Wolfram Language. (2020). IntersectedEntityClass. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/IntersectedEntityClass.html

BibTeX

@misc{reference.wolfram_2024_intersectedentityclass, author="Wolfram Research", title="{IntersectedEntityClass}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/IntersectedEntityClass.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_intersectedentityclass, organization={Wolfram Research}, title={IntersectedEntityClass}, year={2020}, url={https://reference.wolfram.com/language/ref/IntersectedEntityClass.html}, note=[Accessed: 22-November-2024 ]}