Converging to the chase -- a tool for finite controllability

DOI10.1016/J.JCSS.2016.08.001MaRDI QIDQ314825zbMATH OpenOpenAlexFDO

Authors Tomasz Gogacz, Jerzy Marcinkowski

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

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

Recommendations

• Converging to the chase -- a tool for finite controllability
• The convex controller: controllability in finite time
• -convergence and chattering limits in optimal control theory
• scientific article; zbMATH DE number 3974782
• Convergence of optimal controls in some optimization problems
• On the convergence of optimal controls in certain optimization problems
• scientific article; zbMATH DE number 4059164
• On a pursuit problem with integral constraints on the players' controls
• Conjugate points in infinite-horizon control problems
• Convergence of Suboptimal Controls: The Point Target Case

Cites work

• Converging to the chase -- a tool for finite controllability
• scientific article; zbMATH DE number 3723857 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• Testing containment of conjunctive queries under functional and inclusion dependencies
• Thue trees

Cited in

(7)

• Finite model reasoning over existential rules
• scientific article; zbMATH DE number 7561463 (Why is no real title available?)
• Converging to the chase -- a tool for finite controllability
• Restricted Chase Termination: A Hierarchical Approach and Experimentation
• Containment of regular path queries under path constraints
• Decidability of querying first-order theories via countermodels of finite width
• Dyadic existential rules

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q314825)