Saved in:
| Main Authors: | , , , |
|---|---|
| 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!
|
| _version_ | 1866913577424650240 |
|---|---|
| author | Zhang, Wen Panda, Aurojit Sagiv, Mooly Shenker, Scott |
| author_facet | Zhang, Wen Panda, Aurojit Sagiv, Mooly Shenker, Scott |
| 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_08874 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A Decidable Case of Query Determinacy: Project-Select Views Zhang, Wen Panda, Aurojit Sagiv, Mooly Shenker, Scott Databases 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. |
| title | A Decidable Case of Query Determinacy: Project-Select Views |
| topic | Databases |
| url | https://arxiv.org/abs/2411.08874 |