Dimension Versus Number of Variables, and Connectivity, too

Dimension Versus Number of Variables, and Connectivity, too

We present game‐theoretic characterizations of the complexity/expressibility measures “dimension” and “the number of variables” as Least Fixed Point queries. As an example, we use these characterizations to compute the dimension and number of variables of Connectivity and Connectivity.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Mathematical logic quarterly 1995, Vol.41 (1), p.111-134
1. Verfasser: McColm, Gregory L.
Format: Artikel
Sprache:eng
Schlagworte:
Comparison game
Datalog
Least fixed point logic
Pebble game
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We present game‐theoretic characterizations of the complexity/expressibility measures “dimension” and “the number of variables” as Least Fixed Point queries. As an example, we use these characterizations to compute the dimension and number of variables of Connectivity and Connectivity.
ISSN:0942-5616
1521-3870
DOI:10.1002/malq.19950410110