Abstract.
The Generic Graph Machine (GGM) model is a Turing machine-like model for expressing generic computations working directly on graph structures. In this paper we present a number of observations concerning the expressiveness and complexity of GGMs. Our results comprise the following: (i) an intrinsic characterization of the pairs of graphs that are an input—output pair of some GGM; (ii) a comparison between GGM complexity and TM complexity; and (iii) a detailed discussion on the connections between the GGM model and other generic computation models considered in the literature, in particular the generic complexity classes of Abiteboul and Vianu, and the Database Method Schemes of Denninghoff and Vianu.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received September 1995, and in final form August 1997.
Rights and permissions
About this article
Cite this article
Gemis, M., Paredaens, J., Peelman, P. et al. Expressiveness and Complexity of Generic Graph Machines . Theory Comput. Systems 31, 231–249 (1998). https://doi.org/10.1007/s002240000087
Issue Date:
DOI: https://doi.org/10.1007/s002240000087