A Decidable Case of Query Determinacy: Project-Select Views

Download PDF
Open Webpage

Wen Zhang, Aurojit Panda, Mooly Sagiv, Scott Shenker

Published: 01 Jan 2024, Last Modified: 03 Mar 2025CoRR 2024EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Query determinacy is decidable for project-select views and a project-select-join query with no self joins, as long as the selection predicates are in a first-order theory for which satisfiability is decidable.