Aug 2026· Proceedings of the VLDB Endowment· Vol 19, pp. 4965-4972· 0 citations· 52 references
TL;DR
A line of work that treats future-proofness as an abstraction-design problem is summarized, identifying boundaries across the data processing stack where concerns must evolve independently, and design interfaces that preserve enough structure across that boundary for optimization.
Abstract
Database systems are increasingly expected to support evolution in data workloads, representations, and hardware environments. Existing designs often respond through either specialization, which can deliver high performance but leads to narrow and brittle systems, or extensibility, which broadens functionality but can produce opaque extensions and growing system complexity.
This paper summarizes a line of work that treats future-proofness as an abstraction-design problem: we identify boundaries across the data processing stack where concerns must evolve independently, and design interfaces that preserve enough structure across that boundary for optimization. We illustrate this at three levels of the stack. At the level of data structures, Sortledton unifies analytics, pattern matching, and transactional updates on a single graph representation. At the level of data formats, AnyBlox allows engines to read datasets that provide sandboxed self-decoding logic, reducing the need for bespoke readers. At the level of query processing, LingoDB and its declarative sub-operator layer recast query optimization as a sequence of extensible compiler passes, enabling cross-domain optimization and hardware-specific lowerings.
This thesis explores hardware-software co-design for data-intensive applications, targeting the unification of programming models using open standards and exploring experimental techniques for automated query synthesis, and presents X-BQSR, a holistic redesign of genomic base quality score recalibration pipelines.
Git4Data is presented, a database-native version-control layer for agentic workflows that sheds light on how relational databases can better support AI agents through efficient versioning.
Hongshen Gou, Zu-Yu Zhang, Yu-Ze Sun et al.· 0 citations
This work builds on Rhyme, a declarative language whose object-notation syntax mirrors the structure of query results, and refine Rhyme's semantics for generator binding and missing values, allowing co-iteration, inner/outer joins, and nested-loop traversals to be expressed under different uses of generator symbols.
Ran Guo, Tiark Rompf· Proceedings of the VLDB Endo...· 0 citations
This paper revisits the connection between Datalog and relational databases, advocating recursive SQL as a backend for Datalog evaluation, and presents a compilation framework that translates Datalog programs, particularly those in the Linear Datalog fragment, into equivalent recursive SQL queries.
Amir Shaikhha, Anna Herlihy, Hung Q. Ngo· 0 citations
This work introduces a novel intermediate representation (IR), grounded in relational algebra and sparse iteration theory, that provides a unified abstraction for data and computation that enables workload-agnostic, end-to-end optimizations across diverse analytics applications.
This thesis argues that database systems can support expressive workloads without sacrificing performance or correctness by recovering and propagating this information across system boundaries.
Anna Herlihy, Anastasia Ailamaki, Martin Odersky· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.