6 papers
Static Type Checking for Database Access Code
Thomas James Kirz, Werner Dietl, Mattias Ulbrich +1
JDBC remains a key technology for database access in Java applications. Since the database dictionary and the Java type system have distinct scopes, developers inevitably need to d…
Unfair by design: eBPF-based scheduling of mixed database workloads
Carl-Elliott Bilodeau-Savaria, Jan Kristof Nidzwetzki, Stefanie Scherzinger +1
Modern database systems increasingly co-schedule time-sensitive and background tasks. In such mixed workloads, background tasks should ideally utilize only spare CPU capacity witho…
JSON Schema Inclusion through Refutational Normalization: Reconciling Efficiency and Completeness
Mohamed-Amine Baazizi, Nour El Houda Ben Ali, Dario Colazzo +4
JSON Schema is the de facto standard for describing the structure of JSON documents. Deciding JSON Schema inclusion - whether every instance of a schema is also an instance of…
Quantum Computing for Query Containment of Conjunctive Queries
Luisa Gerlach, Tobias Köppl, René Zander +2
We address the problem of checking query containment, a foundational problem in database research. Although extensively studied in theory research, optimization opportunities arisi…
Seeing the Trees for the Forest: Leveraging Tree-Shaped Substructures in Property Graphs
Daniel Aarao Reis Arturi, Christoph Köhnen, George Fletcher +2
Property graphs often contain tree-shaped substructures, yet they are not captured by existing proposals for graph schemas; likewise, query languages and query engines offer little…
The Case for DBMS Live Patching [Extended Version]
Michael Fruth, Stefanie Scherzinger
Traditionally, when the code of a database management system (DBMS) needs to be updated, the system is restarted and database clients suffer downtime, or the provider instantiates…