Foundations of the GraphAlg Language
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866908960070565888 |
|---|---|
| author | de Graaf, Daan Brijder, Robert Yakovets, Nikolay |
| author_facet | de Graaf, Daan Brijder, Robert Yakovets, Nikolay |
| contents | The GraphAlg domain-specific language for graph algorithms enables user-defined algorithms in graph databases. In this work we show how GraphAlg is built on top of the formal MATLANG language for matrix manipulation. Starting from MATLANG, we describe the extensions to MATLANG needed to derive GraphAlg Core, a simplified version of GraphAlg that is used as the internal representation in the GraphAlg compiler. Furthermore, we prove that any GraphAlg Core expression can be simulated in an extension of for-MATLANG that supports simultaneous induction. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_11454 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Foundations of the GraphAlg Language de Graaf, Daan Brijder, Robert Yakovets, Nikolay Databases Programming Languages The GraphAlg domain-specific language for graph algorithms enables user-defined algorithms in graph databases. In this work we show how GraphAlg is built on top of the formal MATLANG language for matrix manipulation. Starting from MATLANG, we describe the extensions to MATLANG needed to derive GraphAlg Core, a simplified version of GraphAlg that is used as the internal representation in the GraphAlg compiler. Furthermore, we prove that any GraphAlg Core expression can be simulated in an extension of for-MATLANG that supports simultaneous induction. |
| title | Foundations of the GraphAlg Language |
| topic | Databases Programming Languages |
| url | https://arxiv.org/abs/2604.11454 |