Pytania otagowane jako relational-structures

1
Czy istnieje związek między relacyjną algebrą / rachunkiem a teorią kategorii?
Mam świadomość co najmniej dwóch różnych teoretycznych podejść do zrozumienia relacyjnych baz danych: relacyjnej algebry / rachunku Codda i teorii kategorii. Czy istnieje związek między tymi dwoma podejściami? Czy są w pewnym sensie równoważne? Czy są jakieś prace wprowadzające wyjaśniające, w jaki sposób oba te środowiska wyjaśniają relacyjne bazy danych? …
6
Globalne właściwości klas dziedzicznych?
Dziedziczna klasa struktur (np. Wykresy) to taka, która jest zamknięta pod indukowaną podbudową, lub równoważnie, jest zamknięta pod usunięciem wierzchołków. Klasy wykresów, które wykluczają nieletnie, mają ładne właściwości, które nie zależą od konkretnej wykluczonej nieletniej. Martin Grohe wykazał, że dla klas grafów z wyłączeniem drobnych istnieje algorytm wielomianowy dla izomorfizmu, …
3
Jakie są najnowsze postępy w relacyjnych bazach danych?
Zastanawiam się, jakie są najnowsze postępy w teorii relacyjnych baz danych i powiązanych domenach? Interesują mnie nowe podejścia, języki zapytań (alternatywy dla SQL i / lub rozszerzenia do niego), produkty (zastrzeżone i open source, chociaż znacznie bardziej interesuję się open source) oraz projekty badawcze opracowane w ostatnich latach.
2
Czy teoria pierwszego rzędu struktury skończonej ograniczyła rangę kwantyfikatora?
Niech będzie dowolną skończoną strukturą. Czy jego teoria pierwszego rzędu ograniczyła rangę kwantyfikatora w tym sensie, że istnieje taki, że dla wszystkich z jest z i ?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
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.