Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






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


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

С. О. Кузнецов
Видеозаписи:
MP4 749.0 Mb
MP4 427.2 Mb

Количество просмотров:
Эта страница:61
Видеофайлы:9



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