returning pb

Server/Repositories/SpaceRaceDbContext.cs

@@ -1,15 +1,32 @@
 using Microsoft.EntityFrameworkCore;
 using System.ComponentModel.DataAnnotations;
 
+using Server.Models;
+
 namespace Server;
 
 public class SpaceRaceDbContext : DbContext {
     public DbSet<Lap> Laps { get; set; }
+    public DbSet<PbDTO> PbDTO { get; set; }
+
     public SpaceRaceDbContext(DbContextOptions<SpaceRaceDbContext> options) : base(options) {}
 
     protected override void OnModelCreating(ModelBuilder modelBuilder) {
         base.OnModelCreating(modelBuilder);
         new SpaceRaceInitialiser(modelBuilder).Seed();
+
+        modelBuilder.Entity<PbDTO>(pb => {
+            var pbQuery = $$"""
+            WITH ranked AS (
+              SELECT *, rank() OVER (ORDER BY "Time" ASC) AS "Position", COUNT("Id") OVER () AS "Completions"
+              FROM "Laps"
+            )
+
+            SELECT * FROM ranked
+            """;
+            pb.HasNoKey();
+            pb.ToSqlQuery(pbQuery);
+        });
     }
 }