Finite relation algebras with normal representations

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

Abstract

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.

Details

OriginalspracheEnglisch
TitelRelational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Proceedings
Redakteure/-innenWalter Guttmann, Jules Desharnais, Stef Joosten
Herausgeber (Verlag)Springer, Berlin [u. a.]
Seiten3-17
Seitenumfang15
ISBN (Print)9783030021481
PublikationsstatusVeröffentlicht - 2018
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 6717
ISSN0302-9743

Konferenz

Titel17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018
Dauer29 Oktober - 1 November 2018
StadtGroningen
LandNiederlande

Externe IDs

ORCID /0000-0001-8228-3611/work/142241077

Schlagworte