Abwärtskompatibilität
  • CREATE TABLE angestellte
    (name VARCHAR(12), ano INTEGER PRIMARY KEY,
    strasse VARCHAR(22), stadt VARCHAR(10),
    geburtstag DATE);

  • CREATE TABLE gehalt
    (ano INTEGER REFERENCES angestellte(ano), gehalt INTEGER);

  • CREATE ASSERTION angest_hat_gehalt CHECK
    (NOT EXIST ( SELECT *
    FROM angestellte AS a
    WHERE NOT EXIST ( SELECT *
    FROM gehalt AS g
    WHERE a.ano = g.ano)));