Запитання з тегом «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 

Нехай - будь-яка кінцева структура. Чи має теорія першого порядку обмежений ранг квантора, в тому сенсі, що існує такий, що для всіх з є з і ?AA\mathfrak{A} T:=TH(A)T:=TH(A) \mathfrak{T} := \mathfrak{TH}(\mathfrak{A}) q∈Nq∈N q\in\mathbb{N} φ∈Tφ∈T \varphi\in\mathfrak{T} qr(φ)>qqr(φ)>q qr(\varphi) > q φ′∈Tφ′∈T \varphi'\in\mathfrak{T} qr(φ′)≤qqr(φ′)≤q qr(\varphi')\leq q φ′≡φφ′≡φ \varphi'\equiv\varphi

11 co.combinatorics  lo.logic  relational-structures