Abstract
Fragments of Tarski’s relation algebra form the basis of many versatile graph and tree query languages including the regular path queries, XPath, and SPARQL. Surprisingly, however, a systematic study of the relative expressive power of relation algebra fragments on trees has not yet been undertaken. Our approach is to start from a basic fragment which only allows composition and union. We then study how the expressive power of the query language changes if we add diversity, converse, projections, coprojections, intersections, and/or difference, both for path queries and Boolean queries. For path queries, we found that adding intersection and difference yields more expressive power for some fragments, while adding one of the other operators always yields more expressive power. For Boolean queries, we obtain a similar picture for the relative expressive power, except for a few fragments where adding converse or projection yields no more expressive power. One challenging problem remains open, however, for both path and Boolean queries: does adding difference yields more expressive power to fragments containing at least diversity, coprojections, and intersection?
This material is based on work supported by the National Science Foundation under Grant No. NSF 1438990.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The basic atoms and operators, \(\emptyset \), \(\ell \in \varSigma \), \(\mathrm {id}\), \(\circ \), and \(\cup \) are left implicit because they are assumed to be present in every fragment.
- 2.
The 1-subtree reductions bear a close relationship to the F+B-index and the F&B-index used for indexing the structure of tree data [20].
- 3.
Notice that in the formalism of Hellings et al. [18], projection is considered to be a standard operator.
- 4.
Observe that, in relation algebra expressions, unions can always be pushed out to the outermost level.
- 5.
Recall from Sect. 2 that we need to consider converse only at the level of edges.
- 6.
Observe that the composition of node expressions is associative and that this composition is path-equivalent to the intersection of node expressions.
- 7.
Recall that the tree queries in Wu et al. [26] are essentially the same as the condition-free condition tree queries in this paper.
- 8.
Strictly speaking, they deal with union-free expressions, but since unions can always be pushed out to the outermost level, this is not a real restriction.
- 9.
These are generally referred to as the downward fragments of the relation algebra.
References
Barceló, P.: Querying graph databases. In: Proceedings 32nd Symposium on Principles of Database Systems, pp. 175–188. ACM (2013)
Barceló, P., Pérez, J., Reutter, J.L.: Relative expressiveness of nested regular expressions. In: Proceedings of 6th Alberto Mendelzon International Workshop on Foundations of Data Management, pp. 180–195. CEUR Workshop Proceedings (2012)
Benedikt, M., Fan, W., Kuper, G.: Structural properties of XPath fragments. Theor. Comput. Sci. 336(1), 3–31 (2005)
Benedikt, M., Koch, C.: XPath leashed. ACM Comput. Surv. 41(1), 3:1–3:54 (2009)
Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E., Yergeau, F., Cowan, J.: Extensible Markup Language (XML) 1.1 (Second Edition). W3C Recommendation, W3C (2006). http://www.w3.org/TR/2006/REC-xml11-20060816
ten Cate, B.: The expressivity of XPath with transitive closure. In: Proceedings of 25th Symposium on Principles of Database Systems, pp. 328–337. ACM (2006)
Clark, J., DeRose, S.: XML Path Language (XPath) Version 1.0. W3C Recommendation, W3C (1999). http://www.w3.org/TR/1999/REC-xpath-19991116
Cruz, I.F., Mendelzon, A.O., Wood, P.T.: A graphical query language supporting recursion. In: Proceedings of 1987 ACM SIGMOD International Conference on Management of Data, pp. 323–330. ACM, New York (1987)
Ecma International: The JSON data interchange format, 1st Edition (2013). http://www.ecma-international.org/publications/standards/Ecma-404.htm
Fletcher, G.H.L., Gyssens, M., Leinders, D., Van den Bussche, J., Van Gucht, D., Vansummeren, S., Wu, Y.: Relative expressive power of navigational querying on graphs. In: Proceedings of 14th International Conference on Database Theory, pp. 197–207. ACM (2011)
Fletcher, G.H.L., Gyssens, M., Leinders, D., Surinx, D., Van den Bussche, J., Van Gucht, D., Vansummeren, S., Wu, Y.: Relative expressive power of navigational querying on graphs. Inform. Sci. 298, 390–406 (2015)
Givant, S.: The calculus of relations as a foundation for mathematics. J. Autom. Reason. 37(4), 277–322 (2006)
Grädel, E., Otto, M.: On logics with two variables. Theor. Comput. Sci. 224(1–2), 73–113 (1999)
Grohe, M.: Finite variable logics in descriptive complexity theory. Bull. Symb. Logic 4, 345–398 (1998)
Hellings, J.: On Tarski’s Relation Algebra: querying trees and chains and the semi-join algebra. Ph.D. thesis, Hasselt University and Transnational University of Limburg (2018)
Hellings, J., Gyssens, M., Wu, Y., Van Gucht, D., Van den Bussche, J., Vansummeren, S., Fletcher, G.H.L.: Relative expressive power of downward fragments of navigational query languages on trees and chains. In: Proceedings of 15th Symposium on Database Programming Languages, pp. 59–68 (2015)
Hellings, J., Gyssens, M., Wu, Y., Van Gucht, D., Van den Bussche, J., Vansummeren, S., Fletcher, G.H.L.: Comparing downward fragments of the relational calculus with transitive closure on trees. Technical report. Hasselt University (2018). https://arxiv.org/abs/1803.01390
Hellings, J., Pilachowski, C.L., Van Gucht, D., Gyssens, M., Wu, Y.: From relation algebra to semi-join algebra: an approach for graph query optimization. In: Proceedings of 16th International Symposium on Database Programming Languages, pp. 5:1–5:10 (2017)
Hidders, J., Paredaens, J., Van den Bussche, J.: J-logic: logical foundations for JSON querying. In: Proceedings of 36th Symposium on Principles of Database Systems, pp. 137–149 (2017)
Kaushik, R., Bohannon, P., Naughton, J.F., Korth, H.F.: Covering indexes for branching path queries. In: Proceedings of 2002 ACM SIGMOD International Conference on Management of Data, pp. 133–144. ACM (2002)
Libkin, L.: Elements of Finite Model Theory. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-662-07003-1
Marx, M.: Conditional XPath. ACM Trans. Database Syst. 30(4), 929–959 (2005)
Marx, M., de Rijke, M.: Semantic characterizations of navigational XPath. SIGMOD Rec. 34(2), 41–46 (2005)
Tarski, A.: On the calculus of relations. J. Symb. Log. 6(3), 73–89 (1941)
Tsichritzis, D.C., Lochovsky, F.H.: Hierarchical data-base management: a survey. ACM Comput. Surv. 8(1), 105–123 (1976)
Wu, Y., Van Gucht, D., Gyssens, M., Paredaens, J.: A study of a positive fragment of path queries: expressiveness, normal form and minimization. Comput. J. 54(7), 1091–1118 (2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Hellings, J., Wu, Y., Gyssens, M., Van Gucht, D. (2018). The Power of Tarski’s Relation Algebra on Trees. In: Ferrarotti, F., Woltran, S. (eds) Foundations of Information and Knowledge Systems. FoIKS 2018. Lecture Notes in Computer Science(), vol 10833. Springer, Cham. https://doi.org/10.1007/978-3-319-90050-6_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-90050-6_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-90049-0
Online ISBN: 978-3-319-90050-6
eBook Packages: Computer ScienceComputer Science (R0)