Ich kenne mindestens zwei verschiedene theoretische Ansätze zum Verständnis relationaler Datenbanken: Codds relationale Algebra / Kalkül und Kategorietheorie. Gibt es eine Beziehung zwischen diesen beiden Ansätzen? Sind sie in gewissem Sinne gleichwertig? Gibt es eine einführende Arbeit, die...
Eine erbliche Klasse von Strukturen (z. B. Graphen) ist eine, die unter induzierten Unterstrukturen geschlossen ist oder gleichwertig unter Vertex-Entfernung geschlossen ist. Klassen von Diagrammen, die eine untergeordnete Komponente ausschließen, haben nette Eigenschaften, die nicht von der...
Ich frage mich, was die neuesten Fortschritte in der relationalen Datenbanktheorie und verwandten Bereichen sind. Ich interessiere mich für neue Ansätze, Abfragesprachen (Alternativen zu SQL und / oder Erweiterungen), Produkte (proprietär und Open Source, obwohl ich viel mehr an Open Source...
Sei eine beliebige endliche Struktur. Hat seine Theorie erster Ordnung T : = T H ( A ) einen begrenzten Quantifiziererrang in dem Sinne, dass es ein q ∈ N gibt, so dass es für alle φ ∈ T mit q r ( φ ) > q ein φ ′ ∈ T gibt mit q r ( φ ′ ) ≤ q und φ ′ ≡ φ ?AA\mathfrak{A} T:=TH(A)T:=TH(A)...