<- Concepts

物理削除転送

mutable transfer model で既存の転送先行を物理削除する削除表現

id physical-delete-transferformat schema v2

defined

validation: okcoverage: completeopen questions none

meaning: presentresponsibilities: presentboundaries: presentinvariants: presentrationale: presentevidence: presentlinked concepts: present

有効黒伝転送先仕様赤伝転送

Open Questions

• None

Definition Statements

Meaning

6 statements

Statement	Text
mutable transfer model で既存の転送先行を物理削除する転送表現 physical-delete-transfer-destination-row-mutable-model	Physical Delete Transfer とは、`mutable transfer model` で既存の転送先行を物理削除する転送表現である。
転送元の現在値が存在せず、既存の Active Black が存在する場合に使われる。 physical-delete-transfer-source-exists-active-black	Physical Delete Transfer は、転送元の現在値が存在せず、既存の `Active Black` が存在する場合に使われる。
Black Transfer ではない。 black-transfer-physical-delete	Physical Delete Transfer は、`Black Transfer` ではない。
Red Transfer ではない。 physical-delete-transfer-red	Physical Delete Transfer は、`Red Transfer` ではない。
mutable transfer model の削除相当は、Physical Delete Transfer として表現 physical-delete-transfer-mutable-model	`mutable transfer model` の削除相当は、Physical Delete Transfer として表現する。
が成功すると、削除対象だった Active Black は存在しなくなる。 physical-delete-transfer-target-active-black	Physical Delete Transfer が成功すると、削除対象だった `Active Black` は存在しなくなる。

Responsibilities

4 statements

Statement	Text
mutable transfer model における削除相当の表現を説明 physical-delete-transfer-mutable-model-2	Physical Delete Transfer は、`mutable transfer model` における削除相当の表現を説明する。
削除対象となる既存の Active Black を必要と physical-delete-transfer-target-active-black-2	Physical Delete Transfer は、削除対象となる既存の `Active Black` を必要とする。
Active Black に対応する既存の転送先行を物理削除 physical-delete-transfer-destination-row-active-black	Physical Delete Transfer は、`Active Black` に対応する既存の転送先行を物理削除する。
成功時に削除対象だった Active Black をなくす。 physical-delete-transfer-target-active-black-3	Physical Delete Transfer は、成功時に削除対象だった `Active Black` をなくす。

Boundaries

7 statements

Statement	Text	Similarity negated
immutable transfer model の削除表現を定義しない not-physical-delete-transfer-define-immutable-model	Physical Delete Transfer は、`immutable transfer model` の削除表現を定義しない。	-
immutable transfer model の削除相当は、Red Transfer の文脈で扱う not-red-transfer-context-immutable-model	`immutable transfer model` の削除相当は、`Red Transfer` の文脈で扱う。	red-transfer
転送対象行を決定しない not-physical-delete-transfer-target-row-decide	Physical Delete Transfer は、転送対象行を決定しない。	-
転送対象かどうかは、Transfer Target Decision で判断 not-transfer-target-context-decide-work-item	転送対象かどうかは、`Transfer Target Decision` で判断する。	-
Active Black の保存形式を定義しない not-physical-delete-transfer-define-active-black	Physical Delete Transfer は、`Active Black` の保存形式を定義しない。	-
Lineage を作成しない not-lineage-physical-delete-transfer-create	Physical Delete Transfer は、`Lineage` を作成しない。	lineage
削除 SQL の生成手順や実行手順を定義しない not-physical-delete-transfer-produce-define-sql	Physical Delete Transfer は、削除 SQL の生成手順や実行手順を定義しない。	-

Invariants

8 statements

Statement	Text
mutable transfer model でのみ発生 physical-delete-transfer-mutable-model-3	Physical Delete Transfer は `mutable transfer model` でのみ発生する。
immutable transfer model では、削除相当は Physical Delete Transfer ではなく Red Transfer として表現 physical-delete-transfer-red-immutable-model	`immutable transfer model` では、削除相当は Physical Delete Transfer ではなく `Red Transfer` として表現する。
転送元の現在値が存在せず、Active Black が存在する場合に成立 physical-delete-transfer-source-exists-active-black-2	Physical Delete Transfer は、転送元の現在値が存在せず、`Active Black` が存在する場合に成立する。
黒伝を追加しない physical-delete-transfer-black	Physical Delete Transfer は、黒伝を追加しない。
赤伝を追加しない physical-delete-transfer-red-2	Physical Delete Transfer は、赤伝を追加しない。
転送先行を物理削除 physical-delete-transfer-destination-row	Physical Delete Transfer は、転送先行を物理削除する。
の成功後、削除対象だった黒伝は Active Black ではなくなる。 physical-delete-transfer-black-target-active	Physical Delete Transfer の成功後、削除対象だった黒伝は `Active Black` ではなくなる。
Lineage を作成しない lineage-physical-delete-transfer-create	Physical Delete Transfer は `Lineage` を作成しない。

Rationale

2 statements

Statement	Text
Mutable Delete Is Not Black or Red black-transfer-physical-delete-red-destination-row-source	Mutable Delete Is Not Black or Red: `Black Transfer` は、転送元の現在値を転送先へ反映する転送表現である。 `Red Transfer` は、`immutable transfer model` で既存黒伝を反転した赤伝を追加する削除または訂正表現である。 `mutable transfer model` の削除相当は、転送元の現在値を反映するものでも、赤伝を追加するものでもない。 そのため、`mutable transfer model` で既存の転送先行を物理削除する表現を Physical Delete Transfer として分ける。
Physical Delete Removes Active Black physical-delete-transfer-destination-row-black-target-removes	Physical Delete Removes Active Black: Physical Delete Transfer は、削除対象となる既存の `Active Black` を必要とする。 Physical Delete Transfer が成功すると、対応する転送先行は物理削除される。 そのため、削除対象だった黒伝は `Active Black` ではなくなる。

Internal Links

• None

External Relationships

Concept	Kind	Reason	Supported by	Evidence
有効黒伝 active-black	uses	Physical Delete Transfer は物理削除対象となる Active Black を必要とする。	physical-delete-transfer-target-active-black-2, physical-delete-transfer-destination-row-active-black, physical-delete-transfer-target-active-black-3	spec:physical-delete-transfer
転送先仕様 destination	uses	Physical Delete Transfer は既存の転送先行を物理削除する。	physical-delete-transfer-destination-row-active-black, physical-delete-transfer-destination-row, physical-delete-transfer-destination-row-mutable-model	spec:physical-delete-transfer
赤伝転送 red-transfer	is-distinct-from	mutable delete は Physical Delete Transfer であり、immutable delete は Red Transfer で表現する。	not-red-transfer-context-immutable-model, physical-delete-transfer-red-immutable-model, physical-delete-transfer-red	spec:physical-delete-transfer

Coverage

Area	Coverage	Reason	Resolution criteria
definition	complete	concept.json の意味、責務、境界、不変条件、理由を curated statement として移植済み。	-
relationships	complete	concept-relationship.json と移行元 concept.json の外部関係を反映済み。	-

Evidence

Evidence ID	Type	Path	Exists
spec:physical-delete-transfer	spec	concept.json	yes

Validation

• No validation issues.

Technical Metadata

• Source JSON: packages/transfer/docs/concepts/physical-delete-transfer/concept.json