Section: Partnerships and Cooperations

National Initiatives

ANR

• Acronym: PRODAQ

• Title: Proof systems for Data Queries

• Coordinator: Sylvain Schmitz

• Duration: January 2015 – September 2019

• Abstract: The project aims at developing proof systems for data logics. It is at the interface between several research communities in database theory, infinite-state system verification and proof theory. The main thrust behind the project is the investigation of proof-theoretic tools for data logic, using in particular insights from substructural logics, and using counter systems as a means to obtain algorithms and complexity results.