2005-09-05から1日間の記事一覧

周延とは?(1)

周延という重要概念を整理しておきたい。 分かったようなわからないような感じが拭えない。外堀から埋めていこう。 「周延している」とは、単に「モレ・ダブリがない」こととは違う。 サブセット間に AND が起こるなら、セットは周延していない。 とか、 そ…

resourceの HDR-DTL は存在しないのか?(3)

整理します。 HDR-DTL構造においては、HDRとDTLのどちらの identifier も(R)ではない。 例えば「受注番号」は、受注ヘッダの identifier であると同時に、受注明細の identifier(の一要素)でもある。 だから、resourceのHDR-DTL構造において、HDR と DTL …