-- ClickDelivery V0.5 hardening
-- Un token push activo solo puede pertenecer a un dispositivo/usuario a la vez por proveedor.
CREATE UNIQUE INDEX IF NOT EXISTS mobile_devices_active_push_token_uidx
  ON mobile_devices(provider,push_token)
  WHERE active=true;