Computational Social Choice Meets Databases

05/10/2018
by   Benny Kimelfeld, et al.
0

We develop a novel framework that aims to create bridges between the computational social choice and the database management communities. This framework enriches the tasks currently supported in computational social choice with relational database context, thus making it possible to formulate sophisticated queries about voting rules, candidates, voters, issues, and positions. At the conceptual level, we give rigorous semantics to queries in this framework by introducing the notions of necessary answers and possible answers to queries. At the technical level, we embark on an investigation of the computational complexity of the necessary answers. We establish a number of results about the complexity of the necessary answers of conjunctive queries involving positional scoring rules that contrast sharply with earlier results about the complexity of the necessary winners.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/17/2017

The Complexity of Multiwinner Voting Rules with Variable Number of Winners

We consider the approval-based model of elections, and undertake a compu...
research
07/22/2019

Social Choice Methods for Database Aggregation

Knowledge can be represented compactly in multiple ways, from a set of p...
research
02/17/2023

Finding Possible and Necessary Winners in Spatial Voting with Partial Information

We consider spatial voting where candidates are located in the Euclidean...
research
05/23/2019

Hypothetical answers to continuous queries over data streams

Continuous queries over data streams may suffer from blocking operations...
research
06/27/2023

A fine-grained framework for database repairs

We introduce a general abstract framework for database repairing that di...
research
02/23/2021

Efficient Uncertainty Tracking for Complex Queries with Attribute-level Bounds (extended version)

Certain answers are a principled method for coping with the uncertainty ...
research
02/11/2022

Conservative Extensions for Existential Rules

We study the problem to decide, given sets T1,T2 of tuple-generating dep...

Please sign up or login with your details

Forgot password? Click here to reset