Towards Relational Contextual Equality Saturation
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866918094018969600 |
|---|---|
| author | Hou, Tyler Laddad, Shadaj Hellerstein, Joseph M. |
| author_facet | Hou, Tyler Laddad, Shadaj Hellerstein, Joseph M. |
| contents | Equality saturation is a powerful technique for program optimization. Contextual equality saturation extends this to support rewrite rules that are conditioned on where a term appears in an expression. Existing work has brought contextual reasoning to egg; in this paper, we share our ongoing work to extend this to relational equality saturation in egglog. We summarize the existing approaches to contextual equality saturation, outline its main applications, and identify key challenges in combining this approach with relational models. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_11897 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Towards Relational Contextual Equality Saturation Hou, Tyler Laddad, Shadaj Hellerstein, Joseph M. Programming Languages Databases Equality saturation is a powerful technique for program optimization. Contextual equality saturation extends this to support rewrite rules that are conditioned on where a term appears in an expression. Existing work has brought contextual reasoning to egg; in this paper, we share our ongoing work to extend this to relational equality saturation in egglog. We summarize the existing approaches to contextual equality saturation, outline its main applications, and identify key challenges in combining this approach with relational models. |
| title | Towards Relational Contextual Equality Saturation |
| topic | Programming Languages Databases |
| url | https://arxiv.org/abs/2507.11897 |