데이터 관계 그림

테이블 카드(table)의 열과 외래 키를 그래프 보기로 보이는 그림입니다. 스키마 설명이나 한 요청이 어느 행을 따라가는지 보일 때 씁니다.

최소 예제

외래 키 선은 fk=테이블.열에서 생긴다. 열 줄은 이름 타입에 pk, unique, nullable, required, fk=, ondelete=를 이어 적는다. 외래 키 열의 from="0..*" to="1"은 각각 출발 테이블과 참조 대상 쪽 다중성이다. 값은 음이 아닌 정수, *, 0..1이나 1..*처럼 순서가 맞는 범위이며 생략하면 표시하지 않는다.

orders -> users "주문자" relation=association from="0..*" to="1"처럼 직접 적는 선은 설명을 위한 관계다. 테이블.열도 끝으로 쓸 수 있지만 외래 키 제약은 만들지 않는다. relation=association은 화살촉 없는 연관이고, 생략하면 일반 연결선의 화살촉 규칙을 따른다. 이미 fk=로 연결한 같은 열 쌍을 직접 연결하면 중복 오류다. 상속·합성 같은 클래스 전용 관계는 테이블에 쓰지 않는다.

문법

줄 종류와 선택 사항은 그림 문법의 문법 표가 정본이고, 테이블 카드의 규칙은 카드와 보기에 있습니다.

단일 키와 복합 키

한 열의 키는 위 예제처럼 열 옆에 적는다. 여러 열을 묶는 키는 테이블 안에서 pk (열, ...), unique (열, ...), fk (열, ...) -> 테이블 (열, ...)로 적는다. 괄호 문법은 열 하나에도 쓸 수 있으며 두 표기는 같은 키 모형으로 처리된다.

기본 키는 테이블에 하나다. 여러 열에 pk를 붙이면 그 열들을 묶은 기본 키 하나가 되고, 각각이 독립적인 고유 키가 되지는 않는다. unique (tenant_id, email)도 두 값의 조합이 고유하다는 뜻이다. 복합 키 일부를 참조하려면 그 일부에 별도의 고유 키가 있어야 한다.

외래 키 양쪽의 열 개수는 같아야 하고 작성 순서대로 짝을 이룬다. 위 예제에서는 orders.tenant_id가 users.tenant_id에, orders.user_id가 users.id에 대응한다. 참조 대상은 기본 키 또는 고유 키의 전체 열 집합이어야 한다. 열 목록의 순서를 바꿀 수 있지만 양쪽 대응도 함께 확인해야 한다. ondelete=set-null이면 참조하는 모든 열에 nullable을 적는다.

복합 외래 키 하나는 선 하나로 그린다. 같은 FK1 표식이 붙은 열들이 한 참조를 이루고 선에도 그 표식이 나온다. 복합 고유 키는 UNQ1, UNQ2처럼 구분하며 기본 키는 PK다. 번호는 테이블 안에서 같은 종류의 복합 키를 선언한 순서로 정해진다. 접근성 설명에는 각 키의 전체 열 목록과 참조 대상이 포함된다.

여러 외래 키가 같은 두 테이블을 잇는 경우 장면의 이동에 orders.user_id -> users.id처럼 대응하는 열 쌍을 적어 한 선을 고른다. 선택한 열 쌍도 두 외래 키에 공통이면 모호한 이동으로 거부한다. 열 타입은 표시할 텍스트이며 SQL 방언별 타입 호환성, 실제 행의 고유성이나 참조 무결성을 실행해서 검사하지 않는다.

장면과 움직임

이동은 외래 키 선을 적은 방향으로 따라가고, 그 방향에 없으면 반대 방향을 거꾸로 따라갑니다. 같은 방향 외래 키가 둘 이상이면 payments.order_id -> orders.id처럼 열까지 적습니다. light 테이블.열 테이블.열은 열을 밝히고, show 테이블 "글"은 테이블 아래 카드에 예시 행을 보입니다. nullable과 required는 NULL 허용 여부를, ondelete=cascade와 set-null은 삭제 정책을 열 아래 줄에 보입니다. 같은 테이블의 서로 다른 두 열을 잇는 자기 참조 외래 키(referrer_id bigint fk=users.id nullable)는 카드 오른쪽 면을 도는 고리로 그립니다. 같은 열이나 카드 전체를 자기 자신에 잇는 선은 오류입니다(an edge cannot go from "users.id" to itself). schema 예제가 키, 제약, 삭제 정책, 자기 참조 외래 키를 모두 씁니다.

흔한 오류

code는 thinkflow check figure.thinkflow --json으로 봅니다.