Converging to the Chase -- A Tool for Finite Controllability

DOI10.1109/LICS.2013.61zbMath1366.68034arXiv1204.3432MaRDI QIDQ5271092

Jerzy Marcinkowski, Tomasz Gogacz

Publication date: 3 July 2017

Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1204.3432

zbMATH Keywords

finite controllabilitysticky logictuple-generating dependencies

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70) Logic programming (68N17)

Related Items (2)

Converging to the chase -- a tool for finite controllability ⋮ Finite model reasoning over existential rules

This page was built for publication: Converging to the Chase -- A Tool for Finite Controllability