Foundations of the GraphAlg Language
Daan de Graaf, Robert Brijder, Nikolay Yakovets
TL;DR
The paper introduces GraphAlg, a domain-specific language for graph algorithms built on MATLANG, and formalizes its core, proving its expressive power through simulation in an extended language.
Contribution
It formalizes GraphAlg's core language based on MATLANG and proves its expressive equivalence via simulation in an extended language.
Findings
GraphAlg is built on top of MATLANG for matrix manipulation.
GraphAlg Core is a simplified internal representation.
Any GraphAlg Core expression can be simulated in an extension of for-MATLANG.
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.