Informatica teorica relational-structures

1

Esiste una relazione tra algebra / calcolo relazionale e teoria delle categorie?

Sono a conoscenza di almeno due diversi approcci teorici per la comprensione dei database relazionali: l'algebra / calcolo relazionale di Codd e la teoria delle categorie. C'è qualche relazione tra questi due approcci? Sono in qualche modo equivalenti? C'è qualche lavoro introduttivo che spiega come entrambi questi quadri spiegano i …

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

6

Proprietà globali delle classi ereditarie?

Una classe ereditaria di strutture (ad es. Grafici) è una classe chiusa sotto sottostrutture indotte, o equivalentemente, chiusa sotto rimozione di vertici. Le classi di grafici che escludono un minore hanno belle proprietà che non dipendono dal minore escluso specifico. Martin Grohe ha dimostrato che per le classi di grafi …

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

3

Quali sono i recenti progressi nei database relazionali?

Mi chiedo quali sono i recenti progressi nella teoria dei database relazionali e nei domini correlati? Sono interessato a nuovi approcci, linguaggi di query (alternative a SQL e / o estensioni), prodotti (proprietari e open source, anche se sono molto più interessato all'open source) e progetti di ricerca sviluppati negli …

12 db.databases relational-structures

2

La teoria del primo ordine di una struttura finita ha limitato il rango dei quantificatori?

Sia qualsiasi struttura finita. La sua teoria del primo ordine ha limitato il rango dei quantificatori, nel senso che esiste un tale che per tutti con c'è un con e ?T : = T H ( A ) q ∈ N φ ∈ T q r ( φ ) > …

11 co.combinatorics lo.logic relational-structures

Domande taggate «relational-structures»