The impact of transitive closure on the boolean expressiveness of navigational query languages on graphs

  • Authors:

  • George H. L. Fletcher;Marc Gyssens;Dirk Leinders;Jan Van den Bussche;Dirk Van Gucht;Stijn Vansummeren;Yuqing Wu

  • Affiliations:

  • Eindhoven University of Technology, The Netherlands;School for Information Technology, Hasselt University and Transnational University of Limburg, Belgium;School for Information Technology, Hasselt University and Transnational University of Limburg, Belgium;School for Information Technology, Hasselt University and Transnational University of Limburg, Belgium;Indiana University;Université Libre de Bruxelles, Belgium;Indiana University

  • Venue:
  • FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Several established and novel applications motivate us to study the expressive power of navigational query languages on graphs, which represent binary relations. Our basic language has only the operators union and composition, together with the identity relation. Richer languages can be obtained by adding other features such as other set operators, projection and coprojection, converse, and the diversity relation. In this paper, we show that, when evaluated at the level of boolean queries with an unlabeled input graph (i.e., a single relation), adding transitive closure to the languages with coprojection adds expressive power, while this is not the case for the basic language to which none, one, or both of projection and the diversity relation are added. In combination with earlier work [10], these results yield a complete understanding of the impact of transitive closure on the languages under consideration.