UNIQUE ( title )
);
+CREATE TABLE songshorttitles (
+ song INTEGER NOT NULL REFERENCES songs,
+ shorttitle VARCHAR NOT NULL,
+
+ PRIMARY KEY ( song, shorttitle ),
+ UNIQUE ( shorttitle )
+);
+
CREATE TABLE machinesongs (
song INTEGER NOT NULL REFERENCES songs,
machine INTEGER NOT NULL REFERENCES machines,