Проблема с именованием внешнего ключа Entity Framework Core при наследовании

После тестирования нет, это не будет работать «из коробки» со структурой наследования TPH, «сначала код» или «сначала схема», если некоторые из наследующих классов имеют отношения, а другие — нет. Используя следующий пример:

[Table("Animals")]
public abstract class Animal
{
    [Key]
    public int AnimalId { get; set; }
    public string Name { get; set; }
}

public class Dog : Animal
{
    public virtual Owner Owner { get; set; }
}

public class Cat : Animal
{
    public virtual Owner Owner { get; set; }
}

public class Wolf : Animal
{
}

с конфигурацией:

        modelBuilder.Entity<Animal>()
            .HasDiscriminator<string>("AnimalType")
            .HasValue<Dog>("Dog")
            .HasValue<Cat>("Cat")
            .HasValue<Wolf>("Wolf");
        modelBuilder.Entity<Dog>()
            .HasOne(x => x.Owner)
            .WithMany()
            .IsRequired(false)
            .HasForeignKey("OwnerId")
            .HasConstraintName("FK_Dogs_Owners");
        modelBuilder.Entity<Cat>()
            .HasOne(x => x.Owner)
            .WithMany()
            .HasForeignKey("OwnerId")
            .HasConstraintName("FK_Cats_Owners");

Даже попытка «обмануть» его с помощью отдельных ограничений FK не сработала, если мы хотим, чтобы у Cats & Dogs был владелец, а не у Wolves. Он ожидает Dog_OwnerId и Cat_OwnerId в таблице Animal. Если у всех животных есть владелец, это нормально, мы можем указать «Владелец» в «Животное», и все будет работать, но тогда у волков будут владельцы. В любом случае, независимо от того, используем ли мы один OwnerId или DogOwnerId/CatOwnerId, эти FK должны иметь возможность иметь нулевое значение, что может быть не идеальным с точки зрения ссылочной целостности, если ожидается, что Cats и Dogs потребуют владельца. При использовании TPH нам понадобятся DogOwnerId и CatOwnerId в таблице Animal, иначе мы можем слегка «взломать» ее:

[Table("Animals")]
public abstract class Animal
{
    [Key]
    public int AnimalId { get; set; }
    public string Name { get; set; }

    public virtual Owner? Owner { get; set; }

}

public class Dog : Animal
{
}

public class Cat : Animal
{
}

public class Wolf : Animal
{
    public new virtual Owner? Owner { get { return null; }; set { if (value != null) throw new InvalidOperationException("Wolves have no owner."); } }
}

Это перемещает Владельца в Animal, чтобы поддерживать ассоциацию FK, но мы перегружаем Владельца в Wolf, чтобы, если что-то попытается установить владельца, мы выдали исключение. Это не мешает базе данных назначать волку владельца, и EF с радостью даже запросит волков по владельцу.

Лучшим решением, если некоторые унаследованные классы имеют отношения, а другие нет, и чтобы правильно обеспечить ссылочную целостность, было бы переключиться на наследование TPT. Здесь из таблицы Animal мы удалили OwnerId и Дискриминатор. Мы добавляем таблицу Dog с AnimalId как PK + FK для Animal и OwnerId FK для владельца. Мы добавляем таблицу Cat с AnimalId как PK + FK для Animal и OwnerId FK для владельца. Мы добавляем таблицу Wolf с Animal как PK + FK в Animal, без OwnerId. Сущности могут быть немного обновлены для их имен таблиц:

[Table("Animals")]
public abstract class Animal
{
    [Key]
    public int AnimalId { get; set; }
    public string Name { get; set; }
}

[Table("Dogs")]
public class Dog : Animal
{
    public virtual Owner Owner { get; set; }
}

[Table("Cats")]
public class Cat : Animal
{
    public virtual Owner Owner { get; set; }
}

[Table("Wolves")]
public class Wolf : Animal
{
}

... и отображение:

        modelBuilder.Entity<Animal>()
            .ToTable("Animals")
        modelBuilder.Entity<Dog>()
            .HasOne(x => x.Owner)
            .WithMany()
            .HasForeignKey("OwnerId");
        modelBuilder.Entity<Cat>()
            .HasOne(x => x.Owner)
            .WithMany()
            .HasForeignKey("OwnerId");

Загвоздка здесь в том, что мы можем использовать атрибут [Table("Dogs")] для таблиц подклассов, но нам все равно нужен явный атрибут .ToTable("Animals") для базового класса. Похоже, что это требование для признания ТРТ. Похоже, что простое использование атрибута [Table] заставляет EF использовать наследование TPC.