# Generate DB Schema

> VDM-SL仕様の型・不変条件・状態定義からデータベーススキーマ（DDL）を導出する。 「仕様からDBスキーマを生成して」「テーブル設計をして」「DDLを作って」 「不変条件をDB制約に変換して」「データモデルを設計して」「ER図のもとになる スキーマを作って」といったリクエストに使用する。 English triggers: "generate a database schema from the spec", "derive tables from the VDM spec", "turn invariants into DB constraints", "design the data model". record型→テーブル、map→キー付きテーブル、不変条件→CHECK/UNIQUE/FK/トリガーの 規則的な写像を適用し、DDLで表現しきれない乖離は DEVIATIONS.md（retrenchment表）に、 各不変条件の担保箇所は TRACEABILITY.md に記録する。

## Facts
- Page: https://tashan.sh/capability/skill-kotaroyamame-generate-db-schema
- tashan id: skill:kotaroyamame/generate-db-schema
- Source: https://github.com/kotaroyamame/formal-agent-contracts
- Type: skill
- Category: data
- tashan score: not scored (catalogued only — too little public evidence)
- Adoption: 9.0
- Upkeep: 93.0
- Freshness: 84.0
- Evidence coverage: 84% of the inputs this score can use
- Health: active
- Instruction depth: not yet graded
- License: MIT
- Official: no

## Install

```sh
cp -r generate-db-schema ~/.claude/skills/
```

## Security audit
Not scanned. We audit npm-published capabilities; this one has no npm package we can resolve, or has not reached the queue. This is not a clean bill of health.

---
Measured 2026-08-20 by tashan (https://tashan.sh) from public evidence. Scorer s5.