Database: inject randomness source