| PLAYER_ID VARCHAR(127) PRIMARY KEY, |
| SALARY DOUBLE PRECISION NOT NULL , |
| VERSION DECIMAL(19) NOT NULL |
| LEAGUE_ID VARCHAR(127) PRIMARY KEY, |
| VERSION DECIMAL(19) NOT NULL |
| TEAM_ID VARCHAR(127) PRIMARY KEY, |
| VERSION DECIMAL(19) NOT NULL , |
| FOREIGN KEY (LEAGUE_ID) REFERENCES LEAGUE (LEAGUE_ID) |
| PRIMARY KEY (PLAYER_ID, TEAM_ID), |
| FOREIGN KEY (TEAM_ID) REFERENCES TEAM (TEAM_ID), |
| FOREIGN KEY (PLAYER_ID) REFERENCES PLAYER (PLAYER_ID) |
| REFERENCING OLD AS old NEW AS new |
| WHEN (new.VERSION = old.VERSION) |
| UPDATE LEAGUE SET VERSION = old.VERSION + 1 |
| REFERENCING OLD AS old NEW AS new |
| WHEN (new.VERSION = old.VERSION) |
| UPDATE PLAYER SET VERSION = old.VERSION + 1 |
| REFERENCING OLD AS old NEW AS new |
| WHEN (new.VERSION = old.VERSION) |
| UPDATE TEAM SET VERSION = old.VERSION + 1 |