Computer science/Data management systems

Subject Classification

ACM: Information systems~Data management systems

AMS: Computer science / Theory of data / Database theory

2024

A Verified Proof Checker for Metric First-Order Temporal Logic

by Andrei Herasimau, Jonathan Julian Huerta y Munive, Leonardo Lima, Martin Raszyk and Dmitriy Traytel

Apr 16

2022

Verification of Query Optimization Algorithms

by Lukas Stevens and Bernhard Stöckl

Oct 04

Making Arbitrary Relational Calculus Queries Safe-Range

by Martin Raszyk and Dmitriy Traytel

Sep 28

First-Order Query Evaluation

by Martin Raszyk

Feb 15

2021

A Verified Imperative Implementation of B-Trees

by Niels Mündler

Feb 24

2019

Formalization of Multiway-Join Algorithms

by Thibault Dardinier

Sep 16