2 citations · 2 across the 6 of their papers we have counts for
6 papers · 1 filter
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…
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…
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…
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…