Je connais au moins deux approches théoriques différentes pour comprendre les bases de données relationnelles: l'algèbre / calcul relationnel de Codd et la théorie des catégories. Existe-t-il une relation entre ces deux approches? Sont-ils en quelque sorte équivalents? Existe-t-il des travaux...
Une classe héréditaire de structures (par exemple des graphiques) est une classe qui est fermée sous des sous-structures induites, ou de manière équivalente, est fermée sous suppression de vertex. Les classes de graphiques qui excluent un mineur ont de belles propriétés qui ne dépendent pas du...
Je me demande quelles sont les avancées récentes de la théorie des bases de données relationnelles et des domaines connexes? Je suis intéressé par les nouvelles approches, les langages de requête (alternatives à SQL et / ou extensions de celui-ci), les produits (propriétaires et open source, même...
Soit toute structure finie. Est-ce que sa théorie du premier ordre a un rang de quantificateur borné, dans le sens où il y a un tel que pour tout avec il y a un avec et ?UNEA\mathfrak{A} T: = TH ( A )T:=TH(A) \mathfrak{T} := \mathfrak{TH}(\mathfrak{A}) q∈ Nq∈N q\in\mathbb{N} φ ∈ Tφ∈T...