Comparing Downward Fragments of the Relational Calculus with Transitive Closure on Trees

03/04/2018
by   Jelle Hellings, et al.
0

Motivated by the continuing interest in the tree data model, we study the expressive power of downward navigational query languages on trees and chains. Basic navigational queries are built from the identity relation and edge relations using composition and union. We study the effects on relative expressiveness when we add transitive closure, projections, coprojections, intersection, and difference; this for boolean queries and path queries on labeled and unlabeled structures. In all cases, we present the complete Hasse diagram. In particular, we establish, for each query language fragment that we study on trees, whether it is closed under difference and intersection.

READ FULL TEXT

page 1

page 2

page 3

page 4

07/24/2019

Free Kleene algebras with domain

First we identify the free algebras of the class of algebras of binary r...
08/08/2022

Exact Learning of Multitrees and Almost-Trees Using Path Queries

Given a directed graph, G=(V,E), a path query, path(u,v), returns whethe...
09/25/2017

On the expressive power of query languages for matrices

We investigate the expressive power of MATLANG, a formal language for ma...
03/14/2022

Relational Diagrams: a pattern-preserving diagrammatic representation of non-disjunctive Relational Queries

Analyzing relational languages by their logical expressiveness is well u...
08/27/2018

A Monotone Preservation Result for Boolean Queries Expressed as a Containment of Conjunctive Queries

When a relational database is queried, the result is normally a relation...
10/26/2020

Expressive power of linear algebra query languages

Linear algebra algorithms often require some sort of iteration or recurs...
11/12/2021

Regular Path Query Evaluation Sharing a Reduced Transitive Closure Based on Graph Reduction

Regular path queries (RPQs) find pairs of vertices of paths satisfying g...