Abstract is missing.
- Finitary Relational CalculusFritz Henglein, Mikkel Kragh Mathiesen, Mads Rehof. [doi]
- Towards Automatically Extracting the Relational Model of an Operating SystemBrian Choi, George V. Neville-Neil, Alex Yuan, Avi Silberschatz, Peter Alvaro, Robert Soulé. [doi]
- JTutor: JSON Schema Validation ExplainedLyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Kachimsirikwuo Caleb Imo, Stefan Klessinger, Carlo Sartiani, Stefanie Scherzinger. [doi]
- Static Typing Meets Adaptive Optimization: A Unified Approach to Recursive QueriesAnna Herlihy, Anastasia Ailamaki, Martin Odersky. [doi]
- BIRNE: Mixed-paradigm Workload Execution in SQL EnginesTim Fischer 0003, Denis Hirn. [doi]
- Efficient Enumeration of the Complete Join Search SpaceAltan Birler, Thomas Neumann 0001. [doi]
- Cascade: From Imperative Code to Stateful DataflowsMarcus Schutte, Lucas Van Mol, George Christodoulou 0005, Asterios Katsifodimos. [doi]