Saved in:
Bibliographic Details
Main Authors: Zhang, Wen, Panda, Aurojit, Sagiv, Mooly, Shenker, Scott
Format: Preprint
Published: 2024
Subjects:
Online Access:https://arxiv.org/abs/2411.08874
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • 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.