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...
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....
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...
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...