Database
Resilience for Regular Path Queries: Towards a Complexity Classification
arXiv cs.DB0 views
arXiv:2412.09411v4 Announce Type: replace Abstract: The resilience problem for a query and an input set or bag database is to compute the minimum number of facts to remove from the database to make the query false. In this paper, we study how to compute the resilience of Regular Path Queries (RPQs) over graph databases. Our goal is to characterize the regular languages L for which it is tractable to compute the resilience of the existentially-quantified RPQ built from L. We show that computing the resilience in this sense is tractable (even in combined complexity) for all RPQs defined from so-called local languages. By contrast, we show hardness in data complexity for RPQs defined from the following language classes (after reducing the languages to eliminate redundant words): all finite languages featuring a word containing a repeated letter, and all languages featuring a specific kind of counterexample to being local (which we call four-legged languages). The latter include in particular all languages that are not star-free. Our results also imply a dichotomy on all languages with a so-called neutral letter. We last show tractability for some classes of non-local languages, namely the so-called bipartite chain languages and one-dangling languages, and highlight some remaining obstacles towards a full dichotomy.
Source:https://arxiv.org/abs/2412.09411PreviousBuilding SQL Equivalence Proofs from Query Rewrite RulesNextEfficient Path Query Processing in Relational Database Systems
Related posts
Goravel events and listeners for notifications
0dev.to Go
Goravel queues and jobs: retries and failed jobs
0dev.to Go
Goravel feature testing for a REST API
0dev.to Testing

How to find and fix slow PostgreSQL queries
0dev.to Database
Goravel models and migrations with Postgres
0dev.to Database
Goravel belongs to relationships and foreign keys
0dev.to Database