Als «finite-model-theory» getaggte Fragen

6
Erstellen von Kombinationen aus einer Reihe von Paaren ohne Wiederholung von Elementen
Ich habe eine Reihe von Paaren. Jedes Paar hat die Form (x, y), sodass x, y zu ganzen Zahlen aus dem Bereich gehören [0,n). Wenn also n 4 ist, dann habe ich die folgenden Paare: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ich habe schon die Paare. Jetzt muss ich eine …
3
Erweiterung der SQL-Erfassung
Laut Immerman ist die mit SQL- Abfragen verbundene Komplexitätsklasse genau die Klasse der sicheren Abfragen in (Abfragen erster Ordnung plus ): SQL erfasst sichere Abfragen. (Mit anderen Worten, alle SQL-Abfragen haben eine Komplexität in , und alle Probleme in können als SQL-Abfrage ausgedrückt werden.)Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))}Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))}Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} Basierend auf diesem Ergebnis gibt es …
2
Verleiht die Operation 'difference' einer Abfragesprache, die bereits 'join' enthält, Ausdruck?
Der gesetzte Differenzoperator (z. B. EXCEPTin einigen SQL-Varianten) ist einer der vielen grundlegenden Operatoren der relationalen Algebra. Es gibt jedoch einige Datenbanken, die den Mengenunterschiedsoperator nicht direkt unterstützen, die jedoch LEFT JOIN(eine Art äußere Verknüpfung) unterstützen. In der Praxis kann dies anstelle einer Mengenunterschiedsoperation verwendet werden, um den gleichen Effekt …
2
Warum ist der kleinste Fixpunkt (lfp) in der Programmanalyse wichtig?
Ich versuche, ein Gesamtbild über die Bedeutung des kleinsten Fixpunkts (lfp) in der Programmanalyse zu erhalten. Zum Beispiel scheint die abstrakte Interpretation die Existenz von lfp zu nutzen. Viele Forschungsarbeiten zur Programmanalyse konzentrieren sich auch stark darauf, den am wenigsten festgelegten Punkt zu finden. In diesem Artikel in Wikipedia: Knaster-Tarski …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.