Andrea Boriero I also took the opportunity to add org.hibernate.tool.schema.extract.spi.InformationExtractor#catalogExists because I knew you would need it for what we discussed in triage.

I am also contemplating a change in org.hibernate.tool.schema.extract.spi.TableInformation#isPhysicalTable. Under the covers it is interpreting the TABLE_TYPE result from DatabaseMetaData#getTables which is not restricted in possibilities; JDBC only makes suggestions of possible values. I am thinking of changing this to an enum, as in:

enum TableType {
    TABLE,
    TEMP_TABLE,
    SYNONYM,
    VIEW,
    OTHER
}

The reason being that we need to be careful how we treat some of these for schema migration. This pertains to reports such as HHH-1872