Preguntas etiquetadas con relational-structures

Conozco al menos dos enfoques teóricos diferentes para comprender las bases de datos relacionales: álgebra / cálculo relacional de Codd y teoría de categorías. ¿Hay alguna relación entre estos dos enfoques? ¿Son en algún sentido equivalentes? ¿Existe algún trabajo introductorio que explique cómo ambos marcos explican las bases de datos …

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

Una clase hereditaria de estructuras (p. Ej., Gráficas) es aquella que se cierra bajo subestructuras inducidas, o de manera equivalente, se cierra bajo eliminación de vértices. Las clases de gráficos que excluyen a un menor tienen buenas propiedades que no dependen del menor excluido específico. Martin Grohe demostró que para …

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

Me pregunto cuáles son los avances recientes en la teoría de bases de datos relacionales y dominios relacionados. Estoy interesado en nuevos enfoques, lenguajes de consulta (alternativas a SQL y / o extensiones), productos (propietarios y de código abierto, aunque estoy mucho más interesado en el código abierto) y proyectos …

12 db.databases  relational-structures 

Deje que sea ​​cualquier estructura finita. ¿Su teoría de primer orden tiene un rango cuantificador acotado, en el sentido de que hay un tal que para todos con hay un con y ?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 …

11 co.combinatorics  lo.logic  relational-structures