Finite Relation Algebras with Normal Representations

10/31/2018
by   Manuel Bodirsky, et al.
0

One of the traditional applications of relation algebras is to provide a setting for infinite-domain constraint satisfaction problems. Complexity classification for these computational problems has been one of the major open research challenges of this application field. The past decade has brought significant progress on the theory of constraint satisfaction, both over finite and infinite domains. This progress has been achieved independently from the relation algebra approach. The present article translates the recent findings into the traditional relation algebra setting, and points out a series of open problems at the interface between model theory and the theory of relation algebras.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/27/2020

Network satisfaction for symmetric relation algebras with a flexible atom

Robin Hirsch posed in 1996 the Really Big Complexity Problem: classify t...
research
09/13/2016

Some Open Problems related to Creative Telescoping

Creative telescoping is the method of choice for obtaining information a...
research
01/04/2012

Complexity Classification in Infinite-Domain Constraint Satisfaction

A constraint satisfaction problem (CSP) is a computational problem where...
research
06/29/2016

Algebraic foundations for qualitative calculi and networks

A qualitative representation ϕ is like an ordinary representation of a r...
research
04/25/2023

Network Satisfaction Problems Solved by k-Consistency

We show that the problem of deciding for a given finite relation algebra...
research
08/14/2022

Analogical proportions in monounary algebras and difference proportions

This paper studies analogical proportions in monounary algebras consisti...
research
02/22/2022

Enhanced Spreadsheet Computing with Finite-Domain Constraint Satisfaction

The spreadsheet application is among the most widely used computing tool...

Please sign up or login with your details

Forgot password? Click here to reset