activity
20202026
collaborators

7 papers

cs.DB2026

The Importance of Parameters in Ranking Functions

Christoph Standke, Nikolaos Tziavelis, Wolfgang Gatterbauer +1

How important is the weight of a given column in determining the ranking of tuples in a table? To address such an explanation question about a ranking function, we investigate the…

cs.LO2026

Recursive querying of neural networks via weighted structures

Martin Grohe, Christoph Standke, Juno Steegmans +1

Expressive querying of machine learning models - viewed as a form of intentional data - enables their verification and interpretation using declarative languages, thereby making le…

cs.DB2025

Tractability Frontiers of the Shapley Value for Aggregate Conjunctive Queries

Christoph Standke, Benny Kimelfeld

In recent years, the Shapley value has emerged as a general game-theoretic measure for assessing the contribution of a tuple to the result of a database query. We study the complex…

cs.AI2024

Query languages for neural networks

Martin Grohe, Christoph Standke, Juno Steegmans +1

We lay the foundations for a database-inspired approach to interpreting and understanding neural network models by querying them using declarative languages. Towards this end we st…

cs.DB2024

The Importance of Parameters in Database Queries

Amir Gilad, Martin Grohe, Benny Kimelfeld +2

We propose and study a framework for quantifying the importance of the choices of parameter values to the result of a query over a database. These parameters occur as constants in…

cs.DB2022

Probabilistic Query Evaluation with Bag Semantics

Martin Grohe, Peter Lindner, Christoph Standke

We study the complexity of evaluating queries on probabilistic databases under bag semantics. We focus on self-join free conjunctive queries, and probabilistic databases where occu…

cs.DB2020

Tuple-Independent Representations of Infinite Probabilistic Databases

Nofar Carmeli, Martin Grohe, Peter Lindner +1

Probabilistic databases (PDBs) are probability spaces over database instances. They provide a framework for handling uncertainty in databases, as occurs due to data integration, no…