RUS  ENG
Полная версия
ВИДЕОТЕКА

Однодневный семинар по математической логике
24 июня 2024 г. 16:30, г. Москва, Покровский бульвар 11, аудитория R205


Базисы импликаций и функциональных зависимостей: взгляд с точки зрения алгебраических решёток

С. О. Кузнецов



Аннотация: Любое бинарное отношение на основе соответствий Галуа порождает решётку замкнутых множеств. В приложениях бинарное отношение задаётся на декартовом произведении множеств объектов и их (бинарных) свойств. Операция замыкания при этом естественным образом задаёт так называемые импликации на множествах признаков (объектов). Множества таких импликаций тесным образом связаны с хорновскими теориями и функциональными зависимостями в базах данных. Обсуждается задача порождения базисов (минимальных порождающих подмножеств) импликаций и функциональных зависимостей.


© МИАН, 2024