5 
   CREATE TABLE nodes (
        id INTEGER PRIMARY KEY,
        name VARCHAR(10) NOT NULL,
        feat1 CHAR(1), -- e.g., age
        feat2 CHAR(1)  -- e.g., school attended or company
   );

   CREATE TABLE edges (
        a INTEGER NOT NULL REFERENCES nodes(id) ON UPDATE CASCADE ON DELETE CASCADE,
        b INTEGER NOT NULL REFERENCES nodes(id) ON UPDATE CASCADE ON DELETE CASCADE,
        PRIMARY KEY (a, b)
   );

   CREATE INDEX a_idx ON edges (a);
   CREATE INDEX b_idx ON edges (b);

無向グラフを表現したい場合は、ペアの一意性に CHECK 制約を追加する必要があります。

SQL 標準では CHECK 制約でのサブクエリが許可されていないため、ペアの一意性を確認するにはどうすればよいですか?

4

4 に答える 4

7

(A,B)またはのいずれかが表示されたときに失敗するトリガーを設定できます(B,A)。

トリガーは次のとおりです。

DELIMITER $$
CREATE TRIGGER edges_bi BEFORE INSERT
ON edges FOR EACH ROW
BEGIN
    DECLARE found_count,dummy,diff,SomethingsWrong INT DEFAULT 0;
    DECLARE errmsg VARCHAR(128);
    SET diff = new.a - new.b;
    IF diff = 0 THEN
        SET errmsg = CONCAT('[',new.a,',',new.b,'] is Vertex, Not Edge');
        SET SomethingsWrong = 1;
    END IF;
    SELECT COUNT(1) INTO found_count FROM edges
    WHERE (a=NEW.a AND b=NEW.b) OR (a=NEW.b AND b=NEW.a);
    IF found_count = 1 THEN
        SET errmsg = CONCAT('[',new.a,',',new.b,'] Already Exists');
        SET SomethingsWrong = 1;
    END IF;
    IF SomethingsWrong = 1 THEN
        SELECT errmsg INTO dummy FROM edges WHERE 1=1;
    END IF;
END; $$
DELIMITER ;

サンプルテーブルは次のとおりです。

DROP DATABASE if exists saurabh;
CREATE DATABASE saurabh;
USE saurabh
CREATE TABLE edges
(
   a INTEGER NOT NULL,
   b INTEGER NOT NULL,
   PRIMARY KEY (a,b),
   UNIQUE KEY (b,a)
);

PRIMARY KEY と UNIQUE KEY があり、PRIMARY KEY の列が逆になっていることに注意してください。

テーブルを作成しましょう:

mysql> DROP DATABASE if exists saurabh;
Query OK, 1 row affected (0.01 sec)

mysql> CREATE DATABASE saurabh;
Query OK, 1 row affected (0.00 sec)

mysql> USE saurabh
Database changed
mysql> CREATE TABLE edges
    -> (
    ->    a INTEGER NOT NULL,
    ->    b INTEGER NOT NULL,
    ->    PRIMARY KEY (a,b),
    ->    UNIQUE KEY (b,a)
    -> );
Query OK, 0 rows affected (0.12 sec)

mysql>

トリガーを作成しましょう。

mysql> DELIMITER $$
mysql> CREATE TRIGGER edges_bi BEFORE INSERT
    -> ON edges FOR EACH ROW
    -> BEGIN
    ->     DECLARE found_count,dummy,diff,SomethingsWrong INT DEFAULT 0;
    ->     DECLARE errmsg VARCHAR(128);
    ->     SET diff = new.a - new.b;
    ->     IF diff = 0 THEN
    ->         SET errmsg = CONCAT('[',new.a,',',new.b,'] is Vertex, Not Edge');
    ->         SET SomethingsWrong = 1;
    ->     END IF;
    ->     SELECT COUNT(1) INTO found_count FROM edges
    ->     WHERE (a=NEW.a AND b=NEW.b) OR (a=NEW.b AND b=NEW.a);
    ->     IF found_count = 1 THEN
    ->         SET errmsg = CONCAT('[',new.a,',',new.b,'] Already Exists');
    ->         SET SomethingsWrong = 1;
    ->     END IF;
    ->     IF SomethingsWrong = 1 THEN
    ->         SELECT errmsg INTO dummy FROM edges WHERE 1=1;
    ->     END IF;
    -> END; $$
Query OK, 0 rows affected (0.11 sec)

mysql> DELIMITER ;

サンプルデータは次のとおりです。

INSERT INTO edges (a,b) VALUES (5,3);
INSERT INTO edges (a,b) VALUES (3,3);
INSERT INTO edges (a,b) VALUES (3,5);
INSERT INTO edges (a,b) VALUES (5,5);
SELECT * FROM edges;

edgesこれらをテーブルにロードしてみましょう。

mysql> INSERT INTO edges (a,b) VALUES (5,3);
Query OK, 1 row affected (0.00 sec)

mysql> INSERT INTO edges (a,b) VALUES (3,3);
ERROR 1366 (HY000): Incorrect integer value: '[3,3] is Vertex, Not Edge' for column 'dummy' at row 1
mysql> INSERT INTO edges (a,b) VALUES (3,5);
ERROR 1366 (HY000): Incorrect integer value: '[3,5] Already Exists' for column 'dummy' at row 1
mysql> INSERT INTO edges (a,b) VALUES (5,5);
ERROR 1366 (HY000): Incorrect integer value: '[5,5] is Vertex, Not Edge' for column 'dummy' at row 1
mysql> SELECT * FROM edges;
+---+---+
| a | b |
+---+---+
| 5 | 3 |
+---+---+
1 row in set (0.00 sec)

A=B 条件をブロックすると、自己ループが防止されることに注意してください。

警告

次の場合、このトリガーは機能しません。

  • 空のテーブルから始めます
  • (3,3)最初の行として入力します

BEFORE INSERT空のテーブルではトリガーが起動しないためです。

A<>で有効な行を入力するとB、すべてのチェックが適切に実行されます。

試してみる ！！！

于 2013-03-25T21:53:52.487 に答える
3

MySQL は CHECK 制約をサポートしていません。

BEFORE INSERT および BEFORE UPDATE トリガーを作成してこの状況をチェックし、必要に応じてエラーをスローできます。

例：

CREATE TABLE edges(
  a INT(11) NOT NULL,
  b INT(11) NOT NULL
);

DELIMITER $$

CREATE TRIGGER trigger1
BEFORE INSERT
ON edges
FOR EACH ROW
BEGIN
  SET @cnt = NULL;

  SELECT COUNT(*) INTO @cnt FROM edges
    WHERE a = new.a AND b = new.b OR a = new.b AND b = new.a;

  IF @cnt > 0 THEN
    SIGNAL SQLSTATE '02000' SET MESSAGE_TEXT = 'Error: uniqueness of pair';
  END IF;
END
$$

DELIMITER ;

また、同様の BEFORE UPDATE トリガーを作成して、更新時に NEW の間違った値を回避するか、コードが同じであるためストアド プロシージャを使用します。

于 2013-03-22T13:16:41.787 に答える
2

CHECKドキュメントに記載されているようCREATE TABLEに、MySQL ではサポートされていません。

CHECK 句は解析されますが、すべてのストレージ エンジンによって無視されます

実際、2004 年以降、この問題に関する未解決のバグ レポートがあります(!)。

私がとるアプローチは、ペアが存在する場合に意図的に失敗する挿入時および更新時のストアド プロシージャ トリガーを作成することです。

于 2013-03-25T13:59:54.183 に答える
0

答えは、edgesテーブルの作成方法に依存する可能性があると思いますが、これは質問からは明らかではありません。テーブルからデータが取り込まれている場合nodesは、ミラー化されたペア (つまり、1,2 と 2,1) を除外する SELECT クエリに基づいて VIEW を作成できる場合があります。これにより、カスケードと削除の要件も解決される可能性があります。

于 2013-03-28T16:00:01.473 に答える