Computer Science > Logic in Computer Science
arXiv:2510.07422 (cs)
Title:Homomorphism Problems in Graph Databases and Automatic Structures
Abstract:This thesis investigates the central role of homomorphism problems (structure-preserving maps) in two complementary domains: database querying over finite, graph-shaped data, and constraint solving over (potentially infinite) structures. Building on the well-known equivalence between conjunctive query evaluation and homomorphism existence, the first part focuses on conjunctive regular path queries, a standard extension of conjunctive queries that incorporates regular-path predicates. We study the fundamental problem of query minimization under two measures: the number of ato…
Computer Science > Logic in Computer Science
arXiv:2510.07422 (cs)
Title:Homomorphism Problems in Graph Databases and Automatic Structures
Abstract:This thesis investigates the central role of homomorphism problems (structure-preserving maps) in two complementary domains: database querying over finite, graph-shaped data, and constraint solving over (potentially infinite) structures. Building on the well-known equivalence between conjunctive query evaluation and homomorphism existence, the first part focuses on conjunctive regular path queries, a standard extension of conjunctive queries that incorporates regular-path predicates. We study the fundamental problem of query minimization under two measures: the number of atoms (constraints) and the tree-width of the query graph. In both cases, we prove the problem to be decidable, and provide efficient algorithms for a large fragment of queries used in practice. The second part of the thesis lifts homomorphism problems to automatic structures, which are infinite structures describable by finite automata. We highlight a dichotomy, between homomorphism problems over automatic structures that are decidable in non-deterministic logarithmic space, and those that are undecidable (proving to be the more common case). In contrast to this prevalence of undecidability, we then focus on the language-theoretic properties of these structures, and show, relying on a novel algebraic language theory, that for any well-behaved logic (a pseudovariety), whether an automatic structure can be described in this logic is decidable.
| Comments: | Ph.D. thesis, in French language, defended on 3 July 2025 at Université de Bordeaux |
| Subjects: | Logic in Computer Science (cs.LO); Databases (cs.DB); Formal Languages and Automata Theory (cs.FL) |
| Cite as: | arXiv:2510.07422 [cs.LO] |
| (or arXiv:2510.07422v1 [cs.LO] for this version) | |
| https://doi.org/10.48550/arXiv.2510.07422 arXiv-issued DOI via DataCite |
Submission history
From: Rémi Morvan [view email] [v1] Wed, 8 Oct 2025 18:23:00 UTC (27,582 KB)
Current browse context:
cs.LO
Change to browse by:
export BibTeX citation