Converging to the chase -- a tool for finite controllability

DOI10.1016/j.jcss.2016.08.001zbMath1350.68056OpenAlexW2507660487MaRDI QIDQ314825

Jerzy Marcinkowski, Tomasz Gogacz

Publication date: 16 September 2016

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2016.08.001

zbMATH Keywords

bounded derivation depth propertyfinite controllabilitySticky Datalogsticky logictuple generating dependencies

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

Related Items (1)

Finite model reasoning over existential rules

Cites Work

• Testing containment of conjunctive queries under functional and inclusion dependencies
• Thue trees
• Converging to the Chase -- A Tool for Finite Controllability
• Unnamed Item
• Unnamed Item

This page was built for publication: Converging to the chase -- a tool for finite controllability