Several new features for schema comparison