It’s actually Department of State databases, specifically, CLASS (Consular Lookout and Support System) and the TIDE (Terrorist Identities Datamart Environment) systems that are used. There is also (as you mentioned,) an FBI fingerprint and name check that is completed, but that’s for domestic (US) criminal records and not specific to overseas terrorism.