diff --git a/package-lock.json b/package-lock.json
index f4bba7e9..cedc673f 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -15,7 +15,6 @@
         "@uiw/codemirror-theme-github": "^4.21.25",
         "@uiw/codemirror-theme-vscode": "^4.21.25",
         "@uiw/react-codemirror": "^4.21.25",
-        "@vercel/analytics": "^1.2.2",
         "axios": "^1.7.4",
         "classnames": "^2.5.1",
         "dexie": "^3.2.4",
@@ -2253,26 +2252,6 @@
       "integrity": "sha512-zuVdFrMJiuCDQUMCzQaD6KL28MjnqqN8XnAqiEq9PNm/hCPTSGfrXCOfwj1ow4LFb/tNymJPwsNbVePc1xFqrQ==",
       "dev": true
     },
-    "node_modules/@vercel/analytics": {
-      "version": "1.2.2",
-      "resolved": "https://registry.npmjs.org/@vercel/analytics/-/analytics-1.2.2.tgz",
-      "integrity": "sha512-X0rctVWkQV1e5Y300ehVNqpOfSOufo7ieA5PIdna8yX/U7Vjz0GFsGf4qvAhxV02uQ2CVt7GYcrFfddXXK2Y4A==",
-      "dependencies": {
-        "server-only": "^0.0.1"
-      },
-      "peerDependencies": {
-        "next": ">= 13",
-        "react": "^18 || ^19"
-      },
-      "peerDependenciesMeta": {
-        "next": {
-          "optional": true
-        },
-        "react": {
-          "optional": true
-        }
-      }
-    },
     "node_modules/@vitejs/plugin-react": {
       "version": "4.2.1",
       "resolved": "https://registry.npmjs.org/@vitejs/plugin-react/-/plugin-react-4.2.1.tgz",
@@ -5816,11 +5795,6 @@
         "semver": "bin/semver.js"
       }
     },
-    "node_modules/server-only": {
-      "version": "0.0.1",
-      "resolved": "https://registry.npmjs.org/server-only/-/server-only-0.0.1.tgz",
-      "integrity": "sha512-qepMx2JxAa5jjfzxG79yPPq+8BuFToHd1hm7kI+Z4zAq1ftQiP7HcxMhDDItrbtwVeLg/cY2JnKnrcFkmiswNA=="
-    },
     "node_modules/set-function-length": {
       "version": "1.1.1",
       "resolved": "https://registry.npmjs.org/set-function-length/-/set-function-length-1.1.1.tgz",
diff --git a/package.json b/package.json
index 30a1b279..e61fa25d 100644
--- a/package.json
+++ b/package.json
@@ -17,7 +17,6 @@
     "@uiw/codemirror-theme-github": "^4.21.25",
     "@uiw/codemirror-theme-vscode": "^4.21.25",
     "@uiw/react-codemirror": "^4.21.25",
-    "@vercel/analytics": "^1.2.2",
     "axios": "^1.7.4",
     "classnames": "^2.5.1",
     "dexie": "^3.2.4",
diff --git a/src/components/EditorCanvas/Canvas.jsx b/src/components/EditorCanvas/Canvas.jsx
index 2a675167..50f15003 100644
--- a/src/components/EditorCanvas/Canvas.jsx
+++ b/src/components/EditorCanvas/Canvas.jsx
@@ -3,6 +3,7 @@ import {
   Action,
   Cardinality,
   Constraint,
+  SubtypeRestriction,
   ObjectType,
 } from "../../data/constants";
 import { Toast } from "@douyinfe/semi-ui";
@@ -435,6 +436,8 @@ export default function Canvas() {
         tables[linkingLine.startTableId].fields[linkingLine.startFieldId].name
       }_fk`,
       id: relationships.length,
+      subtype: false,
+      subtype_restriction: "",
     };
     delete newRelationship.startX;
     delete newRelationship.startY;
diff --git a/src/components/EditorCanvas/Relationship.jsx b/src/components/EditorCanvas/Relationship.jsx
index 9f512a9a..e6d70a3d 100644
--- a/src/components/EditorCanvas/Relationship.jsx
+++ b/src/components/EditorCanvas/Relationship.jsx
@@ -1,10 +1,12 @@
 import { useRef } from "react";
-import { Cardinality, ObjectType, Tab } from "../../data/constants";
+import { Cardinality, ObjectType, Tab, SubtypeRestriction } from "../../data/constants";
 import { calcPath } from "../../utils/calcPath";
 import { useDiagram, useSettings, useLayout, useSelect } from "../../hooks";
 import { useTranslation } from "react-i18next";
 import { SideSheet } from "@douyinfe/semi-ui";
 import RelationshipInfo from "../EditorSidePanel/RelationshipsTab/RelationshipInfo";
+import { CrowOM, CrowOO, CrowZM, IDEFZM, DefaultNotation, subDP, subDT, subOP, subOT } from "./RelationshipFormat";
+
 
 export default function Relationship({ data }) {
   const { settings } = useSettings();
@@ -13,31 +15,83 @@ export default function Relationship({ data }) {
   const { selectedElement, setSelectedElement } = useSelect();
   const { t } = useTranslation();
   const pathRef = useRef();
+  const type = settings.notation === 'default' ? 0 : 10;
+  const relationshipType=(0,0);
 
+  let direction = 1;
   let cardinalityStart = "1";
   let cardinalityEnd = "1";
+  let cardinalityvar;
+  let subtypevar;
 
   switch (data.cardinality) {
     // the translated values are to ensure backwards compatibility
-    case t(Cardinality.MANY_TO_ONE):
-    case Cardinality.MANY_TO_ONE:
-      cardinalityStart = "n";
-      cardinalityEnd = "1";
+    case t(Cardinality.ZERO_TO_MANY):
+    case Cardinality.ZERO_TO_MANY:
+      if (settings.notation === 'default') {
+        cardinalityStart = "n";
+        cardinalityEnd = "1";
+      } else {
+        cardinalityStart = "(1,*)";
+        cardinalityEnd = "(1,1)";
+        cardinalityvar="1";
+      }
       break;
     case t(Cardinality.ONE_TO_MANY):
     case Cardinality.ONE_TO_MANY:
-      cardinalityStart = "1";
-      cardinalityEnd = "n";
+      if (settings.notation === 'default') {
+        cardinalityStart = "1";
+        cardinalityEnd = "n";
+      } else {
+        cardinalityStart = "(1,1)";
+        cardinalityEnd = "(1,*)";
+        cardinalityvar="2";
+      }
       break;
     case t(Cardinality.ONE_TO_ONE):
     case Cardinality.ONE_TO_ONE:
-      cardinalityStart = "1";
-      cardinalityEnd = "1";
+      if (settings.notation === 'default') {
+        cardinalityStart = "1";
+        cardinalityEnd = "1";
+      } else {
+        cardinalityStart = "(1,1)";
+        cardinalityEnd = "(1,1)";
+        cardinalityvar="3";
+      }
       break;
     default:
       break;
   }
 
+  switch (data.subtype_restriction){
+    case t(SubtypeRestriction.DISJOINT_TOTAL):
+    case SubtypeRestriction.DISJOINT_TOTAL:
+      subtypevar="1";
+      console.log(subtypevar)
+    break;
+
+    case t(SubtypeRestriction.DISJOINT_PARTIAL):
+    case SubtypeRestriction.DISJOINT_PARTIAL:
+      subtypevar="2";
+      console.log(subtypevar)
+    break;
+    
+    case t(SubtypeRestriction.OVERLAPPING_TOTAL):
+    case SubtypeRestriction.OVERLAPPING_TOTAL:
+      subtypevar="3";
+      console.log(subtypevar)
+    break;
+
+  case t(SubtypeRestriction.OVERLAPPING_PARTIAL):
+  case SubtypeRestriction.OVERLAPPING_PARTIAL:
+    subtypevar="4";
+    console.log(subtypevar)
+  break;
+  default:
+  break;
+
+  }
+
   let cardinalityStartX = 0;
   let cardinalityEndX = 0;
   let cardinalityStartY = 0;
@@ -45,13 +99,18 @@ export default function Relationship({ data }) {
 
   const cardinalityOffset = 28;
 
+
   if (pathRef.current) {
-    const pathLength = pathRef.current.getTotalLength();
+    const pathLength = settings.notation === 'default' ?
+      pathRef.current.getTotalLength() - cardinalityOffset:
+      pathRef.current.getTotalLength();
+
     const point1 = pathRef.current.getPointAtLength(cardinalityOffset);
     cardinalityStartX = point1.x;
     cardinalityStartY = point1.y;
+
     const point2 = pathRef.current.getPointAtLength(
-      pathLength - cardinalityOffset,
+      pathLength,
     );
     cardinalityEndX = point2.x;
     cardinalityEndY = point2.y;
@@ -80,6 +139,10 @@ export default function Relationship({ data }) {
     }
   };
 
+  if ((settings.notation === 'crows_foot' || settings.notation === 'idef1x') && cardinalityEndX < cardinalityStartX){
+    direction = -1;
+  }
+
   return (
     <>
       <g className="select-none group" onDoubleClick={edit}>
@@ -102,48 +165,22 @@ export default function Relationship({ data }) {
           stroke="gray"
           className="group-hover:stroke-sky-700"
           fill="none"
+          strokeDasharray={relationshipType}
           strokeWidth={2}
           cursor="pointer"
         />
-        {pathRef.current && settings.showCardinality && (
-          <>
-            <circle
-              cx={cardinalityStartX}
-              cy={cardinalityStartY}
-              r="12"
-              fill="grey"
-              className="group-hover:fill-sky-700"
-            />
-            <text
-              x={cardinalityStartX}
-              y={cardinalityStartY}
-              fill="white"
-              strokeWidth="0.5"
-              textAnchor="middle"
-              alignmentBaseline="middle"
-            >
-              {cardinalityStart}
-            </text>
-            <circle
-              cx={cardinalityEndX}
-              cy={cardinalityEndY}
-              r="12"
-              fill="grey"
-              className="group-hover:fill-sky-700"
-            />
-            <text
-              x={cardinalityEndX}
-              y={cardinalityEndY}
-              fill="white"
-              strokeWidth="0.5"
-              textAnchor="middle"
-              alignmentBaseline="middle"
-            >
-              {cardinalityEnd}
-            </text>
-          </>
-        )}
+
+        {CrowOM(pathRef.current,settings.notation, cardinalityvar, cardinalityEndX, cardinalityEndY, cardinalityStartX, cardinalityStartY,  direction, cardinalityStart, cardinalityEnd)}
+        {CrowOO(pathRef.current,settings.notation, cardinalityvar, cardinalityEndX, cardinalityEndY, cardinalityStartX, cardinalityStartY,  direction, cardinalityStart, cardinalityEnd)}
+        {CrowZM(pathRef.current,settings.notation, cardinalityvar, cardinalityEndX, cardinalityEndY, cardinalityStartX, cardinalityStartY,  direction, cardinalityStart, cardinalityEnd)}
+        {DefaultNotation(pathRef.current,settings.notation, cardinalityEndX, cardinalityEndY, cardinalityStartX, cardinalityStartY,  cardinalityStart, cardinalityEnd)}
+        {IDEFZM(pathRef.current,settings.notation, cardinalityvar, cardinalityEndX, cardinalityEndY, cardinalityStartX, cardinalityStartY,  direction, cardinalityStart, cardinalityEnd)}
+        {subDP(pathRef.current,settings.notation, subtypevar, cardinalityEndX, cardinalityEndY, cardinalityStartX, cardinalityStartY,  direction, cardinalityStart, cardinalityEnd)}
+        {subDT(pathRef.current,settings.notation, subtypevar, cardinalityEndX, cardinalityEndY, cardinalityStartX, cardinalityStartY,  direction, cardinalityStart, cardinalityEnd)}
+        {subOT(pathRef.current,settings.notation, subtypevar, cardinalityEndX, cardinalityEndY, cardinalityStartX, cardinalityStartY,  direction, cardinalityStart, cardinalityEnd)}
+        {subOP(pathRef.current,settings.notation, subtypevar, cardinalityEndX, cardinalityEndY, cardinalityStartX, cardinalityStartY,  direction, cardinalityStart, cardinalityEnd)}
       </g>
+
       <SideSheet
         title={t("edit")}
         size="small"
diff --git a/src/components/EditorCanvas/RelationshipFormat.jsx b/src/components/EditorCanvas/RelationshipFormat.jsx
new file mode 100644
index 00000000..a0eccbee
--- /dev/null
+++ b/src/components/EditorCanvas/RelationshipFormat.jsx
@@ -0,0 +1,543 @@
+export function CrowOM(pathRef, notation, cardinalityvar, cardinalityEndX, cardinalityEndY, cardinalityStartX, cardinalityStartY,  direction, cardinalityStart, cardinalityEnd){
+    return(
+        pathRef && notation === 'crows_foot' && (cardinalityvar==2)  &&(
+            <>
+              <line
+                x1={cardinalityEndX-(20*direction)}
+                y1={cardinalityEndY+15}
+                x2={cardinalityEndX-(20*direction)}
+                y2={cardinalityEndY-15}
+                stroke="gray"
+                strokeWidth='2'
+                className="group-hover:fill-sky-700"
+              />
+                <line
+                    x1={cardinalityEndX-(20*direction)}
+                    y1={cardinalityEndY}
+                    x2={cardinalityEndX+1}
+                    y2={cardinalityEndY-10}
+                    stroke="gray"
+                    strokeWidth='2'
+                    className="group-hover:fill-sky-700"
+                />
+                <line
+                    x1={cardinalityEndX-20*direction}
+                    y1={cardinalityEndY}
+                    x2={cardinalityEndX+1}
+                    y2={cardinalityEndY+10}
+                    stroke="gray"
+                    strokeWidth='2'
+                    className="group-hover:fill-sky-700"
+                />
+                <text
+                    x={cardinalityStartX}
+                    y={cardinalityStartY-10}
+                    fill="black"
+                    strokeWidth="0.5"
+                    textAnchor="middle"
+                    alignmentBaseline="middle"
+                >
+                    {cardinalityStart}
+                </text>
+                <text
+                    x={cardinalityEndX-15}
+                    y={cardinalityEndY-15}
+                    fill="black"
+                    strokeWidth="0.5"
+                    textAnchor="middle"
+                    alignmentBaseline="middle"
+                >
+                    {cardinalityEnd}
+                </text>
+                <line
+                  x1={cardinalityStartX-(15*direction)}
+                  y1={cardinalityStartY+10}
+                  x2={cardinalityStartX-(15*direction)}
+                  y2={cardinalityStartY-10}
+                  stroke="gray"
+                  strokeWidth='2'
+                  className="group-hover:fill-sky-700"
+                />
+                <line
+                  x1={cardinalityStartX-(10*direction)}
+                  y1={cardinalityStartY+10}
+                  x2={cardinalityStartX-(10*direction)}
+                  y2={cardinalityStartY-10}
+                  stroke="gray"
+                  strokeWidth='2'
+                  className="group-hover:fill-sky-700"
+                />
+            </>
+        )
+    )
+}
+
+export function CrowOO(pathRef, notation, cardinalityvar, cardinalityEndX, cardinalityEndY, cardinalityStartX, cardinalityStartY,  direction, cardinalitySart, cardinalityEnd){
+    return(
+        pathRef && notation === 'crows_foot' && cardinalityvar==3  &&(
+            <>
+            <line
+              x1={cardinalityEndX-(15*direction)}
+              y1={cardinalityEndY+10}
+              x2={cardinalityEndX-(15*direction)}
+              y2={cardinalityEndY-10}
+              stroke="gray"
+              strokeWidth='2'
+              className="group-hover:fill-sky-700"
+            />
+
+            <line
+              x1={cardinalityEndX-(10*direction)}
+              y1={cardinalityEndY+10}
+              x2={cardinalityEndX-(10*direction)}
+              y2={cardinalityEndY-10}
+              stroke="gray"
+              strokeWidth='2'
+              className="group-hover:fill-sky-700"
+            />
+            <line
+              x1={cardinalityStartX-(15*direction)}
+              y1={cardinalityStartY+10}
+              x2={cardinalityStartX-(15*direction)}
+              y2={cardinalityStartY-10}
+              stroke="gray"
+              strokeWidth='2'
+              className="group-hover:fill-sky-700"
+            />
+            <line
+              x1={cardinalityStartX-(10*direction)}
+              y1={cardinalityStartY+10}
+              x2={cardinalityStartX-(10*direction)}
+              y2={cardinalityStartY-10}
+              stroke="gray"
+              strokeWidth='2'
+              className="group-hover:fill-sky-700"
+            />
+
+            <text
+              x={cardinalityStartX}
+              y={cardinalityStartY-15}
+              fill="black"
+              strokeWidth="0.5"
+              textAnchor="middle"
+              alignmentBaseline="middle"
+            >
+              {cardinalitySart}
+            </text>
+            <text
+                x={cardinalityEndX-15}
+                y={cardinalityEndY-15}
+                fill="black"
+                strokeWidth="0.5"
+                textAnchor="middle"
+                alignmentBaseline="middle"
+            >
+                {cardinalityEnd}
+            </text>
+            </>
+        )
+    )
+}
+
+
+export function CrowZM(pathRef, notation, cardinalityvar, cardinalityEndX, cardinalityEndY, cardinalityStartX, cardinalityStartY,  direction, cardinalityStart, cardinalityEnd){
+  return(
+      pathRef && notation === 'crows_foot' && (cardinalityvar==1)  &&(
+          <>
+            <circle
+              cx={cardinalityEndX-(24*direction)}
+              cy={cardinalityEndY}
+              r="4"
+              stroke="gray"
+              strokeWidth='2'
+              fill="none"
+              className="group-hover:fill-sky-700"
+            />
+              <line
+                  x1={cardinalityEndX-(20*direction)}
+                  y1={cardinalityEndY}
+                  x2={cardinalityEndX+1}
+                  y2={cardinalityEndY-10}
+                  stroke="gray"
+                  strokeWidth='2'
+                  className="group-hover:fill-sky-700"
+              />
+              <line
+                  x1={cardinalityEndX-20*direction}
+                  y1={cardinalityEndY}
+                  x2={cardinalityEndX+1}
+                  y2={cardinalityEndY+10}
+                  stroke="gray"
+                  strokeWidth='2'
+                  className="group-hover:fill-sky-700"
+              />
+              <text
+                  x={cardinalityStartX}
+                  y={cardinalityStartY-10}
+                  fill="black"
+                  strokeWidth="0.5"
+                  textAnchor="middle"
+                  alignmentBaseline="middle"
+              >
+                  {cardinalityStart}
+              </text>
+              <text
+                  x={cardinalityEndX-15}
+                  y={cardinalityEndY-15}
+                  fill="black"
+                  strokeWidth="0.5"
+                  textAnchor="middle"
+                  alignmentBaseline="middle"
+              >
+                  {cardinalityEnd}
+              </text>
+              <line
+                x1={cardinalityStartX-(15*direction)}
+                y1={cardinalityStartY+10}
+                x2={cardinalityStartX-(15*direction)}
+                y2={cardinalityStartY-10}
+                stroke="gray"
+                strokeWidth='2'
+                className="group-hover:fill-sky-700"
+              />
+              <line
+                x1={cardinalityStartX-(10*direction)}
+                y1={cardinalityStartY+10}
+                x2={cardinalityStartX-(10*direction)}
+                y2={cardinalityStartY-10}
+                stroke="gray"
+                strokeWidth='2'
+                className="group-hover:fill-sky-700"
+              />
+          </>
+      )
+  )
+}
+
+export function DefaultNotation(pathRef, notation, cardinalityEndX, cardinalityEndY, cardinalityStartX, cardinalityStartY,  cardinalityStart, cardinalityEnd){
+  return(
+      pathRef && notation === 'default' && (
+        <>
+            <circle
+              cx={cardinalityStartX}
+              cy={cardinalityStartY}
+              r="12"
+              fill="grey"
+              className="group-hover:fill-sky-700"
+            />
+            <text
+              x={cardinalityStartX}
+              y={cardinalityStartY}
+              fill="white"
+              strokeWidth="0.5"
+              textAnchor="middle"
+              alignmentBaseline="middle"
+            >
+              {cardinalityStart}
+            </text>
+            <circle
+              cx={cardinalityEndX}
+              cy={cardinalityEndY}
+              r="12"
+              fill="grey"
+              className="group-hover:fill-sky-700"
+            />
+            <text
+              x={cardinalityEndX}
+              y={cardinalityEndY}
+              fill="white"
+              strokeWidth="0.5"
+              textAnchor="middle"
+              alignmentBaseline="middle"
+            >
+              {cardinalityEnd}
+            </text>
+          </>
+      )
+  )
+}
+
+export function IDEFZM(pathRef, notation, cardinalityvar, cardinalityEndX, cardinalityEndY, cardinalityStartX, cardinalityStartY,  direction, cardinalityStart, cardinalityEnd){
+  return(
+      pathRef && notation === 'idef1x' && (cardinalityvar==1)  &&(
+          <>
+            <circle
+              cx={cardinalityEndX-(3*direction)}
+              cy={cardinalityEndY}
+              r="4"
+              stroke="gray"
+              strokeWidth='2'
+              fill="grey"
+              className="group-hover:fill-sky-700"
+            />
+              <text
+                  x={cardinalityStartX}
+                  y={cardinalityStartY-10}
+                  fill="black"
+                  strokeWidth="0.5"
+                  textAnchor="middle"
+                  alignmentBaseline="middle"
+              >
+                  {cardinalityStart}
+              </text>
+              <text
+                  x={cardinalityEndX-15}
+                  y={cardinalityEndY-15}
+                  fill="black"
+                  strokeWidth="0.5"
+                  textAnchor="middle"
+                  alignmentBaseline="middle"
+              >
+                  {cardinalityEnd}
+              </text>
+          </>
+      )
+  )
+}
+
+export function subDP(pathRef, notation, cardinalityvar, cardinalityEndX, cardinalityEndY, cardinalityStartX, cardinalityStartY,  direction, cardinalityStart, cardinalityEnd){
+  return(
+      pathRef && notation === 'idef1x' && (cardinalityvar=="2")  &&(
+          <>
+            <circle
+                cx={cardinalityStartX-((-40)*direction)}
+                cy={cardinalityStartY}
+                r="8"
+                stroke="gray"
+                strokeWidth='2'
+                fill="white"
+                className="group-hover:fill-sky-700"
+              />
+              <text
+                    x={cardinalityStartX-((-40)*direction)}
+                    y={cardinalityStartY+2}
+                    fill="grey"
+                    strokeWidth="0.5"
+                    textAnchor="middle"
+                    alignmentBaseline="middle"
+                >
+                    D
+              </text>
+              <line
+                x1={cardinalityStartX-((-48)*direction)}
+                y1={cardinalityStartY+20}
+                x2={cardinalityStartX-((-48)*direction)}
+                y2={cardinalityStartY-20}
+                stroke="gray"
+                strokeWidth='2'
+                className="group-hover:fill-sky-700"
+              />
+              <text
+                  x={cardinalityStartX}
+                  y={cardinalityStartY-10}
+                  fill="black"
+                  strokeWidth="0.5"
+                  textAnchor="middle"
+                  alignmentBaseline="middle"
+              >
+                  {cardinalityStart}
+              </text>
+              <text
+                  x={cardinalityEndX-15}
+                  y={cardinalityEndY-15}
+                  fill="black"
+                  strokeWidth="0.5"
+                  textAnchor="middle"
+                  alignmentBaseline="middle"
+              >
+                  {cardinalityEnd}
+              </text>
+          </>
+      )
+  )
+}
+
+export function subDT(pathRef, notation, subtypevar, cardinalityEndX, cardinalityEndY, cardinalityStartX, cardinalityStartY,  direction, cardinalityStart, cardinalityEnd){
+  return(
+    pathRef && notation === 'idef1x' && (subtypevar=="1")  &&(
+      <>
+          <circle
+            cx={cardinalityStartX-((-40)*direction)}
+            cy={cardinalityStartY}
+            r="8"
+            stroke="gray"
+            strokeWidth='2'
+            fill="white"
+            className="group-hover:fill-sky-700"
+          />
+          <text
+                x={cardinalityStartX-((-40)*direction)}
+                y={cardinalityStartY+2}
+                fill="grey"
+                strokeWidth="0.5"
+                textAnchor="middle"
+                alignmentBaseline="middle"
+            >
+                D
+          </text>
+          <line
+            x1={cardinalityStartX-((-48)*direction)}
+            y1={cardinalityStartY+20}
+            x2={cardinalityStartX-((-48)*direction)}
+            y2={cardinalityStartY-20}
+            stroke="gray"
+            strokeWidth='2'
+            className="group-hover:fill-sky-700"
+          />
+          <line
+            x1={(cardinalityStartX-((-55)*direction))}
+            y1={cardinalityStartY+20}
+            x2={(cardinalityStartX-((-55)*direction))}
+            y2={cardinalityStartY-20}
+            stroke="gray"
+            strokeWidth='2'
+            className="group-hover:fill-sky-700"
+          />
+          <text
+              x={cardinalityStartX}
+              y={cardinalityStartY-10}
+              fill="black"
+              strokeWidth="0.5"
+              textAnchor="middle"
+              alignmentBaseline="middle"
+          >
+              {cardinalityStart}
+          </text>
+          <text
+              x={cardinalityEndX-15}
+              y={cardinalityEndY-15}
+              fill="black"
+              strokeWidth="0.5"
+              textAnchor="middle"
+              alignmentBaseline="middle"
+          >
+              {cardinalityEnd}
+          </text>
+      </>
+  )
+  )
+}
+
+export function subOP(pathRef, notation, cardinalityvar, cardinalityEndX, cardinalityEndY, cardinalityStartX, cardinalityStartY,  direction, cardinalityStart, cardinalityEnd){
+  return(
+      pathRef && notation === 'idef1x' && (cardinalityvar=="4")  &&(
+          <>
+              <circle
+                cx={cardinalityStartX-((-40)*direction)}
+                cy={cardinalityStartY}
+                r="8"
+                stroke="gray"
+                strokeWidth='2'
+                fill="white"
+                className="group-hover:fill-sky-700"
+              />
+              <text
+                    x={cardinalityStartX-((-40)*direction)}
+                    y={cardinalityStartY+2}
+                    fill="grey"
+                    strokeWidth="0.5"
+                    textAnchor="middle"
+                    alignmentBaseline="middle"
+                >
+                    O
+              </text>
+              <line
+                x1={cardinalityStartX-((-48)*direction)}
+                y1={cardinalityStartY+20}
+                x2={cardinalityStartX-((-48)*direction)}
+                y2={cardinalityStartY-20}
+                stroke="gray"
+                strokeWidth='2'
+                className="group-hover:fill-sky-700"
+              />
+              <text
+                  x={cardinalityStartX}
+                  y={cardinalityStartY-10}
+                  fill="black"
+                  strokeWidth="0.5"
+                  textAnchor="middle"
+                  alignmentBaseline="middle"
+              >
+                  {cardinalityStart}
+              </text>
+              <text
+                  x={cardinalityEndX-15}
+                  y={cardinalityEndY-15}
+                  fill="black"
+                  strokeWidth="0.5"
+                  textAnchor="middle"
+                  alignmentBaseline="middle"
+              >
+                  {cardinalityEnd}
+              </text>
+          </>
+      )
+  )
+}
+
+export function subOT(pathRef, notation, subtypevar, cardinalityEndX, cardinalityEndY, cardinalityStartX, cardinalityStartY,  direction, cardinalityStart, cardinalityEnd){
+  return(
+    pathRef && notation === 'idef1x' && (subtypevar=="3")  &&(
+      <>
+        <circle
+          cx={cardinalityStartX-((-40)*direction)}
+          cy={cardinalityStartY}
+          r="8"
+          stroke="gray"
+          strokeWidth='2'
+          fill="white"
+          className="group-hover:fill-sky-700"
+        />
+        <text
+              x={cardinalityStartX-((-40)*direction)}
+              y={cardinalityStartY+2}
+              fill="grey"
+              strokeWidth="0.5"
+              textAnchor="middle"
+              alignmentBaseline="middle"
+          >
+              O
+        </text>
+        <line
+          x1={cardinalityStartX-((-48)*direction)}
+          y1={cardinalityStartY+20}
+          x2={cardinalityStartX-((-48)*direction)}
+          y2={cardinalityStartY-20}
+          stroke="gray"
+          strokeWidth='2'
+          className="group-hover:fill-sky-700"
+        />
+        <line
+          x1={(cardinalityStartX-((-55)*direction))}
+          y1={cardinalityStartY+20}
+          x2={(cardinalityStartX-((-55)*direction))}
+          y2={cardinalityStartY-20}
+          stroke="gray"
+          strokeWidth='2'
+          className="group-hover:fill-sky-700"
+        />
+          <text
+              x={cardinalityStartX}
+              y={cardinalityStartY-10}
+              fill="black"
+              strokeWidth="0.5"
+              textAnchor="middle"
+              alignmentBaseline="middle"
+          >
+              {cardinalityStart}
+          </text>
+          <text
+              x={cardinalityEndX-15}
+              y={cardinalityEndY-15}
+              fill="black"
+              strokeWidth="0.5"
+              textAnchor="middle"
+              alignmentBaseline="middle"
+          >
+              {cardinalityEnd}
+          </text>
+      </>
+  )
+  )
+}
+
diff --git a/src/components/EditorHeader/ControlPanel.jsx b/src/components/EditorHeader/ControlPanel.jsx
index 593e69d6..a7b9aa08 100644
--- a/src/components/EditorHeader/ControlPanel.jsx
+++ b/src/components/EditorHeader/ControlPanel.jsx
@@ -1220,17 +1220,40 @@ export default function ControlPanel({
         function: viewGrid,
         shortcut: "Ctrl+Shift+G",
       },
-      show_cardinality: {
-        state: settings.showCardinality ? (
-          <i className="bi bi-toggle-on" />
-        ) : (
-          <i className="bi bi-toggle-off" />
-        ),
-        function: () =>
-          setSettings((prev) => ({
-            ...prev,
-            showCardinality: !prev.showCardinality,
-          })),
+      // show_cardinality: {
+      //   state: settings.showCardinality ? (
+      //     <i className="bi bi-toggle-on" />
+      //   ) : (
+      //     <i className="bi bi-toggle-off" />
+      //   ),
+      //   function: () =>
+      //     setSettings((prev) => ({
+      //       ...prev,
+      //       showCardinality: !prev.showCardinality,
+      //     })),
+      // },
+      notation: {
+        children: [
+          {
+            default_notation: () => {
+              console.log(settings.notation);
+              setSettings((prev) => ({ ...prev, notation: "default" }));
+            },
+          },
+          {
+            crows_foot_notation: () => {
+              console.log(settings.notation);
+              setSettings((prev) => ({ ...prev, notation: "crows_foot" }));
+            },
+          },
+          {
+            idef1x_notation: () => {
+              console.log(settings.notation);
+              setSettings((prev) => ({ ...prev, notation: "idef1x" }));
+            },
+          },
+        ],
+        function: () => {},
       },
       show_debug_coordinates: {
         state: settings.showDebugCoordinates ? (
diff --git a/src/components/EditorSidePanel/RelationshipsTab/RelationshipInfo.jsx b/src/components/EditorSidePanel/RelationshipsTab/RelationshipInfo.jsx
index bc184f10..4bd028d4 100644
--- a/src/components/EditorSidePanel/RelationshipsTab/RelationshipInfo.jsx
+++ b/src/components/EditorSidePanel/RelationshipsTab/RelationshipInfo.jsx
@@ -1,4 +1,4 @@
-import { Row, Col, Select, Button, Popover, Table } from "@douyinfe/semi-ui";
+import { Row, Col, Select, Button, Popover, Table, Checkbox } from "@douyinfe/semi-ui";
 import {
   IconDeleteStroked,
   IconLoopTextStroked,
@@ -6,6 +6,7 @@ import {
 } from "@douyinfe/semi-icons";
 import {
   Cardinality,
+  SubtypeRestriction,
   Constraint,
   Action,
   ObjectType,
@@ -97,6 +98,53 @@ export default function RelationshipInfo({ data }) {
     );
   };
 
+  const changeSubtypeRestriction = (value) => {
+    setUndoStack((prev) => [
+      ...prev,
+      {
+        action: Action.EDIT,
+        element: ObjectType.RELATIONSHIP,
+        rid: data.id,
+        undo: { subtype_restriction: data.subtype_restriction },
+        redo: { subtype_restriction: value },
+        message: t("edit_relationship", {
+          refName: data.name,
+          extra: "[subtype_restriction]",
+        }),
+      },
+    ]);
+    setRedoStack([]);
+    setRelationships((prev) =>
+      prev.map((e, idx) =>
+        idx === data.id ? { ...e, subtype_restriction: value } : e,
+      ),
+    );
+  };
+
+  const toggleSubtype = () => {
+    const prevVal = data.subtype;
+    setUndoStack((prev) => [
+      ...prev,
+      {
+        action: Action.EDIT,
+        element: ObjectType.RELATIONSHIP,
+        rid: data.id,
+        undo: { subtype: data.subtype },
+        redo: { subtype: !data.subtype },
+        message: t("edit_relationship", {
+          refName: data.name,
+          extra: "[subtype]",
+        }),
+      },
+    ]);
+    setRedoStack([]);
+    setRelationships((prev) =>
+      prev.map((e, idx) =>
+        idx === data.id ? { ...e, subtype: !prevVal } : e,
+      ),
+    );
+  };
+
   const changeConstraint = (key, value) => {
     const undoKey = `${key}Constraint`;
     setUndoStack((prev) => [
@@ -180,6 +228,32 @@ export default function RelationshipInfo({ data }) {
         className="w-full"
         onChange={changeCardinality}
       />
+      <Row gutter={6} className="my-3">
+        <Col span={12}>
+        <div className="font-semibold my-1" >{t("subtype")}:
+        </div>
+        </Col>
+        <Col span={12}>
+          <Checkbox
+            checked={data.subtype}
+            onChange={toggleSubtype}
+          />
+        </Col>
+      </Row>
+      {data.subtype &&
+        <Row gutter={6} className="my-3">
+          <div className="font-semibold my-1">{t("subtype_restriction")}:</div>
+          <Select
+            optionList={Object.values(SubtypeRestriction).map((v) => ({
+              label: t(v),
+              value: v,
+            }))}
+            value={data.subtype_restriction}
+            className="w-full"
+            onChange={changeSubtypeRestriction}
+          />
+        </Row>
+      }
       <Row gutter={6} className="my-3">
         <Col span={12}>
           <div className="font-semibold">{t("on_update")}: </div>
diff --git a/src/components/SimpleCanvas.jsx b/src/components/SimpleCanvas.jsx
index 1ed5d946..02571ad1 100644
--- a/src/components/SimpleCanvas.jsx
+++ b/src/components/SimpleCanvas.jsx
@@ -85,7 +85,7 @@ function Relationship({ relationship, tables }) {
   let cardinalityEnd = "1";
 
   switch (relationship.cardinality) {
-    case Cardinality.MANY_TO_ONE:
+    case Cardinality.ZERO_TO_MANY:
       cardinalityStart = "n";
       cardinalityEnd = "1";
       break;
diff --git a/src/context/SettingsContext.jsx b/src/context/SettingsContext.jsx
index 7e5a8b97..e6d8f029 100644
--- a/src/context/SettingsContext.jsx
+++ b/src/context/SettingsContext.jsx
@@ -9,6 +9,7 @@ export const SettingsContext = createContext({
   autosave: true,
   panning: true,
   showCardinality: true,
+  notation: "default",
   tableWidth: tableWidth,
   showDebugCoordinates: false,
 });
@@ -22,6 +23,7 @@ export default function SettingsContextProvider({ children }) {
     autosave: true,
     panning: true,
     showCardinality: true,
+    notation: "default",
     tableWidth: tableWidth,
     showDebugCoordinates: false,
   });
diff --git a/src/data/constants.js b/src/data/constants.js
index a25a118c..4fa58d30 100644
--- a/src/data/constants.js
+++ b/src/data/constants.js
@@ -31,7 +31,14 @@ export const tableColorStripHeight = 7;
 export const Cardinality = {
   ONE_TO_ONE: "one_to_one",
   ONE_TO_MANY: "one_to_many",
-  MANY_TO_ONE: "many_to_one",
+  ZERO_TO_MANY: "zero_to_many",
+};
+
+export const SubtypeRestriction = {
+  DISJOINT_TOTAL: "disjoint_total",
+  DISJOINT_PARTIAL: "disjoint_partial",
+  OVERLAPPING_TOTAL: "overlapping_total",
+  OVERLAPPING_PARTIAL: "overlapping_partial",
 };
 
 export const Constraint = {
diff --git a/src/i18n/locales/en.js b/src/i18n/locales/en.js
index cebfac6e..de7e4341 100644
--- a/src/i18n/locales/en.js
+++ b/src/i18n/locales/en.js
@@ -49,6 +49,16 @@ const en = {
     reset_view: "Reset view",
     show_grid: "Show grid",
     show_cardinality: "Show cardinality",
+    default_notation: "Default notation",
+    crows_foot_notation: "Crow's foot notation",
+    idef1x_notation: "IDEF1X notation",
+    subtype: "Subtype",
+    subtype_restriction: "Subtype restriction",
+    disjoint_partial: "Disjoint partial",
+    disjoint_total: "Disjoint total",
+    overlapping_partial: "Overlapping partial",
+    overlapping_total: "Overlapping total",
+    notation: "Notation",
     theme: "Theme",
     light: "Light",
     dark: "Dark",
@@ -136,7 +146,7 @@ const en = {
     swap: "Swap",
     one_to_one: "One to one",
     one_to_many: "One to many",
-    many_to_one: "Many to one",
+    zero_to_many: "Zero to many",
     content: "Content",
     types_info:
       "This feature is meant for object-relational DBMSs like PostgreSQL.\nIf used for MySQL or MariaDB a JSON type will be generated with the corresponding json validation check.\nIf used for SQLite it will be translated to a BLOB.\nIf used for MSSQL a type alias to the first field will be generated.",
diff --git a/src/i18n/locales/es.js b/src/i18n/locales/es.js
index d90df154..2413afe6 100644
--- a/src/i18n/locales/es.js
+++ b/src/i18n/locales/es.js
@@ -49,6 +49,16 @@ const es = {
     reset_view: "Restablecer vista",
     show_grid: "Mostrar cuadrícula",
     show_cardinality: "Mostrar cardinalidad",
+    notation: "Notación",
+    default_notation: "Notación predeterminada",
+    crows_foot_notation: "Notación Crow's Foot",
+    idef1x_notation: "Notación IDEF1X",
+    subtype: "Subtipo",
+    subtype_restriction: "Restricción de subtipo",
+    disjoint_partial: "Excluyente parcial",
+    disjoint_total: "Excluyente total",
+    overlapping_partial: "Traslape partial",
+    overlapping_total: "Traslape total",
     theme: "Tema",
     light: "Claro",
     dark: "Oscuro",
diff --git a/src/main.jsx b/src/main.jsx
index 1e8888d9..f5e198a5 100644
--- a/src/main.jsx
+++ b/src/main.jsx
@@ -1,6 +1,5 @@
 import ReactDOM from "react-dom/client";
 import { LocaleProvider } from "@douyinfe/semi-ui";
-import { Analytics } from "@vercel/analytics/react";
 import App from "./App.jsx";
 import en_US from "@douyinfe/semi-ui/lib/es/locale/source/en_US";
 import "./index.css";
@@ -10,6 +9,5 @@ const root = ReactDOM.createRoot(document.getElementById("root"));
 root.render(
   <LocaleProvider locale={en_US}>
     <App />
-    <Analytics />
   </LocaleProvider>,
 );
diff --git a/src/templates/template1.js b/src/templates/template1.js
index fd4948dc..01708be4 100644
--- a/src/templates/template1.js
+++ b/src/templates/template1.js
@@ -289,7 +289,7 @@ export const template1 = {
       endTableId: 0,
       endFieldId: 0,
       name: "blog_posts_user_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero to many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 0,
@@ -300,7 +300,7 @@ export const template1 = {
       endTableId: 1,
       endFieldId: 0,
       name: "comments_blog_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero to many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 1,
@@ -311,7 +311,7 @@ export const template1 = {
       endTableId: 0,
       endFieldId: 0,
       name: "comments_user_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero to many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 2,
@@ -322,7 +322,7 @@ export const template1 = {
       endTableId: 3,
       endFieldId: 0,
       name: "blog_tag_tag_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero to many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 3,
@@ -333,7 +333,7 @@ export const template1 = {
       endTableId: 1,
       endFieldId: 0,
       name: "blog_tag_blog_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero to many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 4,
diff --git a/src/templates/template2.js b/src/templates/template2.js
index 89014bc1..a404f5c3 100644
--- a/src/templates/template2.js
+++ b/src/templates/template2.js
@@ -304,7 +304,7 @@ export const template2 = {
       endTableId: 1,
       endFieldId: 0,
       name: "employees_dep_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero to many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 0,
@@ -337,7 +337,7 @@ export const template2 = {
       endTableId: 0,
       endFieldId: 0,
       name: "project_assignment_employee_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero to many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 3,
diff --git a/src/templates/template3.js b/src/templates/template3.js
index 7cfb737b..6588de6c 100644
--- a/src/templates/template3.js
+++ b/src/templates/template3.js
@@ -376,7 +376,7 @@ export const template3 = {
       endTableId: 1,
       endFieldId: 0,
       name: "products_category_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero yo Many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 1,
@@ -387,7 +387,7 @@ export const template3 = {
       endTableId: 4,
       endFieldId: 0,
       name: "reviews_customer_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero yo Many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 2,
@@ -409,7 +409,7 @@ export const template3 = {
       endTableId: 4,
       endFieldId: 0,
       name: "orders_customer_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero yo Many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 4,
diff --git a/src/templates/template4.js b/src/templates/template4.js
index 997c2776..ebba01c3 100644
--- a/src/templates/template4.js
+++ b/src/templates/template4.js
@@ -316,7 +316,7 @@ export const template4 = {
       endTableId: 2,
       endFieldId: 0,
       name: "books_author_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero to many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 0,
@@ -349,7 +349,7 @@ export const template4 = {
       endTableId: 1,
       endFieldId: 0,
       name: "books_genre_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero to many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 3,
diff --git a/src/templates/template5.js b/src/templates/template5.js
index 2dbe15d0..d275898b 100644
--- a/src/templates/template5.js
+++ b/src/templates/template5.js
@@ -554,7 +554,7 @@ export const template5 = {
       endTableId: 1,
       endFieldId: 0,
       name: "accounts_customer_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero to many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 0,
@@ -565,7 +565,7 @@ export const template5 = {
       endTableId: 1,
       endFieldId: 0,
       name: "cards_customer_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero to many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 1,
@@ -576,7 +576,7 @@ export const template5 = {
       endTableId: 1,
       endFieldId: 0,
       name: "loans_customer_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero to many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 2,
@@ -587,7 +587,7 @@ export const template5 = {
       endTableId: 1,
       endFieldId: 0,
       name: "investments_customer_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero to many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 3,
@@ -598,7 +598,7 @@ export const template5 = {
       endTableId: 0,
       endFieldId: 0,
       name: "transactions_account_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero to many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 4,
@@ -609,7 +609,7 @@ export const template5 = {
       endTableId: 0,
       endFieldId: 0,
       name: "transfers_to_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero to many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 5,
@@ -620,7 +620,7 @@ export const template5 = {
       endTableId: 0,
       endFieldId: 0,
       name: "transfers_from_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero to many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 6,
diff --git a/src/templates/template6.js b/src/templates/template6.js
index 251fd47b..9ac7631f 100644
--- a/src/templates/template6.js
+++ b/src/templates/template6.js
@@ -400,7 +400,7 @@ export const template6 = {
       endTableId: 0,
       endFieldId: 0,
       name: "enrollment_student_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero to many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 0,
@@ -411,7 +411,7 @@ export const template6 = {
       endTableId: 1,
       endFieldId: 0,
       name: "enrollment_course_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero to many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 1,
@@ -444,7 +444,7 @@ export const template6 = {
       endTableId: 5,
       endFieldId: 0,
       name: "students_major_id_fk",
-      cardinality: "Many to one",
+      cardinality: "Zero to many",
       updateConstraint: "No action",
       deleteConstraint: "No action",
       id: 4,