Cơ sở dữ liệu tàn cuộc Lomonosov

Một cơ sở dữ liệu tàn cuộc là bộ sưu tập các thế đã được giải trước. Thay vì tính từ đầu lúc truy vấn, phần mềm tra cứu thế cờ và lấy kết quả chính xác trong phạm vi được bao phủ. Kết quả có thể cho biết thế hòa hoặc một bên có thể buộc chiếu hết, kèm khoảng cách tới chiếu hết khi dữ liệu đó được cung cấp.

Các cơ sở dữ liệu Lomonosov bao phủ những thế có tổng cộng không quá bảy quân, tính cả hai vua. Chúng được tính vào năm 2012 tại Đại học Quốc gia Moskva bằng siêu máy tính Lomonosov. Số lượng quân, không phải cảm giác ván đã đi đến giai đoạn muộn đến đâu, quyết định một thế có nằm trong phạm vi hay không.

Các bảng Lomonosov dùng DTM, nghĩa là distance to mate, khoảng cách tới chiếu hết. Trong một thế thắng, thước đo này đếm số nước của bên thắng đến chiếu hết khi bên thắng tìm đường ngắn nhất còn bên phòng thủ cố kéo dài. DTM tự nó không áp dụng quy tắc cho phép yêu cầu hòa sau năm mươi nước của mỗi bên mà không có nước tốt hoặc nước bắt quân. Vì vậy, một thế thắng lý thuyết theo tablebase vẫn có thể kết thúc hòa trong thi đấu chính thức nếu quy tắc đó can thiệp.

Thế được truy vấn phải khớp chính xác với biểu diễn của cơ sở dữ liệu, kể cả bên đến lượt. Chỉ cách bố trí quân là chưa đủ: đổi lượt đi có thể làm kết quả thay đổi hoàn toàn.

Điều này không giống yêu cầu máy cờ đánh giá. Máy cờ tìm kiếm các nước và ước lượng thế cờ với tài nguyên hữu hạn, còn cơ sở dữ liệu tàn cuộc trả về lời giải đã tính sẵn cho một thế được bao phủ. Ngoài phạm vi bảy quân, các bảng Lomonosov không thể cung cấp đáp án đó.