BEGIN;
CREATE TABLE "pk_allstarfull" (
	"playerID"	NUMERIC,
	"yearID"	NUMERIC,
	"gameNum"	NUMERIC,
	"gameID"	NUMERIC,
	"teamID"	NUMERIC,
	"lgID"	NUMERIC,
	"GP"	NUMERIC,
	"startingPos"	NUMERIC,
	primary key("playerID","yearID","gameNum","startingPos")
);

INSERT INTO "pk_allstarfull" SELECT DISTINCT * FROM "allstarfull";
DROP TABLE "allstarfull";
ALTER TABLE "pk_allstarfull" RENAME TO "allstarfull";
COMMIT;
