arrow
Return

View-Based Query Determinacy for Walk-Based Semantics

delete2026-01-01
delete0
PRE
AI
N
Nadime Francis *
DOI:10.4230/LIPIcs.ICDT.2026.22delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
The view-based query determinacy problem asks, given a view V and a query Q whether the information contained in V always suffices to answer the query Q. It is a notoriously hard problem that is known to be undecidable even in very restricted settings. Here, we study it in the context of graph databases and regular path queries and views evaluated under several walk-based semantics, that is, semantics in which queries and views return the matched walks in full as opposed to the classical endpoint semantics. Our main finding is that view-based query determinacy is decidable for regular path queries under both trail and shortest walk semantics.
Keywords:
graph databases
regular path queries
trail semantics
shortest walk semantics
view-based query determinacy

Journal

2
29TH INTERNATIONAL CONFERENCE ON DATABASE THEORY, ICDT 2026
IF:
0
Papers:
28
Citations:
0

Organization

C
centre national de la recherche scientifique (cnrs)
Scholars:
24.5W
Papers: 18.2W
Citations: 279