Вопросы с тегом «relational-structures»

Мне известны как минимум два разных теоретических подхода к пониманию реляционных баз данных: реляционная алгебра Кодда и теория категорий. Есть ли связь между этими двумя подходами? В каком-то смысле они эквивалентны? Есть ли вводная работа, объясняющая, как обе эти структуры объясняют реляционные базы данных? Фон: Некоторое время назад я прочитал …

17 reference-request  ct.category-theory  db.databases  relational-structures 

Наследственный класс структур (например, графы) - это класс, замкнутый при индуцированных подструктурах или, что то же самое, замкнутый при удалении вершины. Классы графов, которые исключают минор, имеют хорошие свойства, которые не зависят от конкретного исключенного минора. Мартин Грох показал, что для классов графов, исключая минор, существует полиномиальный алгоритм для изоморфизма, …

15 cc.complexity-theory  graph-theory  relational-structures 

Мне интересно, каковы последние достижения в теории реляционных баз данных и смежных областях? Меня интересуют новые подходы, языки запросов (альтернативы SQL и / или расширениям к нему), продукты (проприетарные и открытые, хотя я гораздо больше интересуюсь открытым исходным кодом) и исследовательские проекты, разработанные в последние годы.

12 db.databases  relational-structures 

Пусть - любая конечная структура. Имеет ли его теории первого порядка Т : = Т Н ( ) имеют ограниченную кванторное ранг, в том смысле , что существует д ∈ N такое , что для всех ф Е Т с ц г ( φ ) > д существует φ ' …

11 co.combinatorics  lo.logic  relational-structures