Throw if table-sharing principal is in TPC and has derived types or the dependent doesn't use TPH

Don't configure table name for abstract types in TPC that have a corresponding DbSet property
Make `ToTable(b => {})` map the entity type to the default table

Fixes #3170
Fixes #27608
Fixes #27945
Fixes #27947

Author: AndriySvyryd

src/EFCore.Relational/Extensions/RelationalEntityTypeBuilderExtensions.cs

@@ -187,6 +187,8 @@ public static EntityTypeBuilder<TEntity> ToTable<TEntity>(
     {
         Check.NotNull(buildAction, nameof(buildAction));
 
+        var defaultTableName = entityTypeBuilder.Metadata.GetDefaultTableName();
+        entityTypeBuilder.GetInfrastructure().ToTable(defaultTableName);
         buildAction(new TableBuilder<TEntity>(null, null, entityTypeBuilder));
 
         return entityTypeBuilder;

src/EFCore.Relational/Infrastructure/RelationalModelValidator.cs

@@ -1364,17 +1364,26 @@ protected override void ValidateInheritanceMapping(
             }
             else
             {
-                var pk = entityType.FindPrimaryKey();
+                var primaryKey = entityType.FindPrimaryKey();
                 if (mappingStrategy == RelationalAnnotationNames.TpcMappingStrategy)
                 {
-                    var storeGeneratedProperty = pk?.Properties.FirstOrDefault(p => (p.ValueGenerated & ValueGenerated.OnAdd) != 0);
+                    var storeGeneratedProperty = primaryKey?.Properties.FirstOrDefault(p => (p.ValueGenerated & ValueGenerated.OnAdd) != 0);
                     if (storeGeneratedProperty != null
                         && entityType.GetTableName() != null)
                     {
                         logger.TpcStoreGeneratedIdentityWarning(storeGeneratedProperty);
                     }
+
+                    if (entityType.GetDirectlyDerivedTypes().Any())
+                    {
+                        foreach (var fk in entityType.GetDeclaredReferencingForeignKeys())
+                        {
+                            AssertNonInternal(fk, StoreObjectType.View);
+                            AssertNonInternal(fk, StoreObjectType.Table);
+                        }
+                    }
                 }
-                else if (pk == null)
+                else if (primaryKey == null)
                 {
                     throw new InvalidOperationException(
                        RelationalStrings.KeylessMappingStrategy(mappingStrategy ?? RelationalAnnotationNames.TptMappingStrategy, entityType.DisplayName()));
@@ -1384,6 +1393,31 @@ protected override void ValidateInheritanceMapping(
                 ValidateNonTphMapping(entityType, forTables: true);
             }
         }
+
+        static void AssertNonInternal(IForeignKey foreignKey, StoreObjectType storeObjectType)
+        {
+            if (!foreignKey.PrincipalKey.IsPrimaryKey()
+                || foreignKey.PrincipalEntityType == foreignKey.DeclaringEntityType
+                || !foreignKey.IsUnique
+#pragma warning disable EF1001 // Internal EF Core API usage.
+                || !PropertyListComparer.Instance.Equals(foreignKey.Properties, foreignKey.PrincipalKey.Properties))
+#pragma warning restore EF1001 // Internal EF Core API usage.
+            {
+                return;
+            }
+
+            var storeObjectId = StoreObjectIdentifier.Create(foreignKey.DeclaringEntityType, storeObjectType);
+            if (storeObjectId == null
+                || storeObjectId != StoreObjectIdentifier.Create(foreignKey.PrincipalEntityType, storeObjectType))
+            {
+                return;
+            }
+
+            throw new InvalidOperationException(RelationalStrings.TpcTableSharing(
+                foreignKey.DeclaringEntityType.DisplayName(),
+                storeObjectId.Value.DisplayName(),
+                foreignKey.PrincipalEntityType.DisplayName()));
+        }
     }
 
     /// <summary>
@@ -1429,6 +1463,25 @@ private static void ValidateNonTphMapping(IEntityType rootEntityType, bool forTa
 
             derivedTypes[(name, schema)] = entityType;
         }
+
+        var storeObject = StoreObjectIdentifier.Create(rootEntityType, forTables ? StoreObjectType.Table : StoreObjectType.View);
+        if (storeObject == null)
+        {
+            return;
+        }
+        
+        var internalForeignKey = rootEntityType.FindRowInternalForeignKeys(storeObject.Value).FirstOrDefault();
+        if (internalForeignKey != null
+            && derivedTypes.Count > 1)
+        {
+            var derivedTypePair = derivedTypes.First(kv => kv.Value != rootEntityType);
+            var (derivedName, derivedSchema) = derivedTypePair.Key;
+            throw new InvalidOperationException(RelationalStrings.TableSharingNonTph(
+                rootEntityType.DisplayName(),
+                storeObject.Value.DisplayName(),
+                derivedTypePair.Value.DisplayName(),
+                derivedSchema == null ? derivedName : $"{derivedSchema}.{derivedName}"));
+        }
     }
 
     private static void ValidateTphMapping(IEntityType rootEntityType, bool forTables)

src/EFCore.Relational/Metadata/Conventions/TableNameFromDbSetConvention.cs

@@ -9,7 +9,10 @@ namespace Microsoft.EntityFrameworkCore.Metadata.Conventions;
 /// <remarks>
 ///     See <see href="https://aka.ms/efcore-docs-conventions">Model building conventions</see> for more information and examples.
 /// </remarks>
-public class TableNameFromDbSetConvention : IEntityTypeAddedConvention, IEntityTypeBaseTypeChangedConvention, IModelFinalizingConvention
+public class TableNameFromDbSetConvention :
+    IEntityTypeAddedConvention,
+    IEntityTypeBaseTypeChangedConvention,
+    IModelFinalizingConvention
 {
     private readonly IDictionary<Type, string> _sets;
 
@@ -115,11 +118,19 @@ public virtual void ProcessModelFinalizing(
         foreach (var entityType in modelBuilder.Metadata.GetEntityTypes())
         {
             if (entityType.GetTableName() != null
-                && entityType.GetViewNameConfigurationSource() != null
                 && _sets.ContainsKey(entityType.ClrType))
             {
-                // Undo the convention change if the entity type is mapped to a view
-                entityType.Builder.HasNoAnnotation(RelationalAnnotationNames.TableName);
+                if (entityType.GetViewNameConfigurationSource() != null)
+                {
+                    // Undo the convention change if the entity type is mapped to a view
+                    entityType.Builder.HasNoAnnotation(RelationalAnnotationNames.TableName);
+                }
+                
+                if (entityType.GetMappingStrategy() == RelationalAnnotationNames.TpcMappingStrategy)
+                {
+                    // Undo the convention change if the entity type is mapped using TPC
+                    entityType.Builder.HasNoAnnotation(RelationalAnnotationNames.TableName);
+                }
             }
         }
     }

src/EFCore.Relational/Metadata/ITable.cs

@@ -108,8 +108,9 @@ string ToDebugString(MetadataDebugStringOptions options = MetadataDebugStringOpt
         }
 
         builder.Append(Name);
-
-        if (IsExcludedFromMigrations)
+        
+        if (EntityTypeMappings.First().EntityType is not RuntimeEntityType
+            && IsExcludedFromMigrations)
         {
             builder.Append(" ExcludedFromMigrations");
         }

src/EFCore.Relational/Properties/RelationalStrings.Designer.cs

@@ -826,6 +826,9 @@
   <data name="TableOverrideMismatch" xml:space="preserve">
     <value>The property '{propertySpecification}' has specific configuration for the table '{table}', but isn't mapped to a column on that table. Remove the specific configuration, or map an entity type that contains this property to '{table}'.</value>
   </data>
+  <data name="TableSharingNonTph" xml:space="preserve">
+    <value>The entity type '{dependentType}' is mapped to '{storeObject}'. However one of its derived types '{derivedType}' is mapped to '{otherStoreObject}'. Hierarchies using table-sharing must be mapped to the same table using the TPH mapping strategy. See https://go.microsoft.com/fwlink/?linkid=2130430 for more information.</value>
+  </data>
   <data name="TableValuedFunctionNonTph" xml:space="preserve">
     <value>The element type of the result of '{dbFunction}' is mapped to '{entityType}'. This is not supported since '{entityType}' is part of hierarchy and does not contain a discriminator property.</value>
   </data>
@@ -838,6 +841,9 @@
   <data name="TooFewReaderFields" xml:space="preserve">
     <value>The underlying reader doesn't have as many fields as expected. Expected: {expected}, actual: {actual}.</value>
   </data>
+  <data name="TpcTableSharing" xml:space="preserve">
+    <value>The entity type '{dependentType}' is mapped to '{storeObject}'. However the principal entity type '{principalEntityType}' is also mapped to '{storeObject}' and it's using the TPC mapping strategy. Only leaf entity types in a TPC hierarchy can use table-sharing.</value>
+  </data>
   <data name="TphTableMismatch" xml:space="preserve">
     <value>'{entityType}' is mapped to the table '{table}' while '{otherEntityType}' is mapped to the table '{otherTable}'. Map all the entity types in the hierarchy to the same table, or remove the discriminator and map them all to different tables. See https://go.microsoft.com/fwlink/?linkid=2130430 for more information.</value>
   </data>
@@ -916,4 +922,4 @@
   <data name="VisitChildrenMustBeOverridden" xml:space="preserve">
     <value>'VisitChildren' must be overridden in the class deriving from 'SqlExpression'.</value>
   </data>
-</root>
+</root>

src/EFCore.Relational/Properties/RelationalStrings.resx

@@ -31,9 +31,6 @@ protected override void OnModelCreating(ModelBuilder modelBuilder, DbContext con
         modelBuilder.Entity<Faction>().UseTpcMappingStrategy();
         modelBuilder.Entity<LocustLeader>().UseTpcMappingStrategy();
 
-        // Work-around for issue#27947
-        modelBuilder.Entity<Faction>().ToTable((string)null);
-
         modelBuilder.Entity<Gear>().ToTable("Gears");
         modelBuilder.Entity<Officer>().ToTable("Officers");
 

test/EFCore.Relational.Specification.Tests/Query/TPCGearsOfWarQueryRelationalFixture.cs

@@ -25,10 +25,6 @@ protected override void OnModelCreating(ModelBuilder modelBuilder, DbContext con
         modelBuilder.Entity<Animal>().UseTpcMappingStrategy();
         modelBuilder.Entity<Drink>().UseTpcMappingStrategy();
 
-        // Work-around for issue#27947
-        modelBuilder.Entity<Animal>().ToTable((string)null);
-        modelBuilder.Entity<Plant>().ToTable((string)null);
-
         modelBuilder.Entity<Flower>().ToTable("Flowers");
         modelBuilder.Entity<Rose>().ToTable("Roses");
         modelBuilder.Entity<Daisy>().ToTable("Daisies");

test/EFCore.Relational.Specification.Tests/Query/TPCInheritanceQueryFixture.cs

@@ -11,14 +11,16 @@ public abstract class TPCRelationshipsQueryRelationalFixture : InheritanceRelati
 
     public override DbContextOptionsBuilder AddOptions(DbContextOptionsBuilder builder)
         => base.AddOptions(builder).ConfigureWarnings(
-            w =>
-                w.Log(RelationalEventId.ForeignKeyTpcPrincipalWarning));
+            w => w.Log(RelationalEventId.ForeignKeyTpcPrincipalWarning));
 
     protected override void OnModelCreating(ModelBuilder modelBuilder, DbContext context)
     {
         base.OnModelCreating(modelBuilder, context);
 
-        modelBuilder.Entity<BaseInheritanceRelationshipEntity>().UseTpcMappingStrategy();
+        modelBuilder.Entity<BaseInheritanceRelationshipEntity>().UseTpcMappingStrategy()
+            // Table-sharing is not supported in TPC mapping
+            .OwnsMany(e => e.OwnedCollectionOnBase, e => e.ToTable("OwnedCollections"))
+            .OwnsOne(e => e.OwnedReferenceOnBase, e => e.ToTable("OwnedReferences"));
         modelBuilder.Entity<BaseReferenceOnBase>().UseTpcMappingStrategy();
         modelBuilder.Entity<BaseCollectionOnBase>().UseTpcMappingStrategy();
         modelBuilder.Entity<BaseReferenceOnDerived>().UseTpcMappingStrategy();

test/EFCore.Relational.Specification.Tests/Query/TPCRelationshipsQueryRelationalFixture.cs

@@ -1677,6 +1677,22 @@ public virtual void Passes_on_valid_table_sharing_with_TPT()
 
         Validate(modelBuilder);
     }
+    
+    [ConditionalFact]
+    public virtual void Detects_table_sharing_with_TPT_on_dependent()
+    {
+        var modelBuilder = CreateConventionalModelBuilder();
+
+        modelBuilder.Entity<Animal>()
+            .ToTable("Animal")
+            .HasOne(c => c.FavoritePerson).WithOne().HasForeignKey<Person>(c => c.Id);
+
+        modelBuilder.Entity<Person>().ToTable("Animal");
+        modelBuilder.Entity<Employee>().ToTable("Employee");
+
+        VerifyError(RelationalStrings.TableSharingNonTph("Person", "Animal", "Employee", "Employee"),
+            modelBuilder);
+    }
 
     [ConditionalFact]
     public virtual void Detects_linking_relationship_on_derived_type_in_TPT()
@@ -1929,6 +1945,24 @@ public virtual void Passes_on_valid_view_sharing_with_TPC()
 
         Validate(modelBuilder);
     }
+    
+    [ConditionalFact]
+    public virtual void Detects_view_sharing_on_base_with_TPC()
+    {
+        var modelBuilder = CreateConventionalModelBuilder();
+
+        modelBuilder.Entity<Animal>()
+            .UseTpcMappingStrategy()
+            .ToView("Animal")
+            .HasOne(c => c.FavoritePerson).WithOne().HasForeignKey<Person>(c => c.Id);
+
+        modelBuilder.Entity<Cat>(x => x.ToView("Cat"));
+
+        modelBuilder.Entity<Person>().ToView("Animal");
+
+        VerifyError(RelationalStrings.TpcTableSharing("Person", "Animal", "Animal"),
+            modelBuilder);
+    }
 
     [ConditionalFact]
     public virtual void Detects_linking_relationship_on_derived_type_in_TPC()

test/EFCore.Relational.Tests/Infrastructure/RelationalModelValidatorTest.cs

@@ -919,7 +919,7 @@ private IRelationalModel CreateTestModel(bool mapToTables = false, bool mapToVie
 
                         if (mapToTables)
                         {
-                            cb.ToTable("AbstractBase");
+                            cb.ToTable(t => { });
                         }
                     }