Informatique théorique relational-structures

1

Existe-t-il une relation entre l'algèbre / calcul relationnel et la théorie des catégories?

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 d'introduction expliquant comment ces deux cadres expliquent les bases …

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

6

Propriétés globales des classes héréditaires?

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 mineur exclu spécifique. Martin …

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

3

Quelles sont les avancées récentes dans les bases de données relationnelles?

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 si je suis …

12 db.databases relational-structures

2

La théorie du premier ordre d'une structure finie a-t-elle un rang de quantificateur borné?

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} φ …

11 co.combinatorics lo.logic relational-structures

Questions marquées «relational-structures»