On rules with existential variables: walking the decidability line
type: Item
instance of: scholarly article
title: On rules with existential variables: walking the decidability line
zbMATH Open document ID: 1225.68247
author: Jean-François Baget
author: Michel Leclère
author: Marie-Laure Mugnier
author: Eric Salvat
published in: Artificial Intelligence
publication date: 2011-11-17T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5973638
zbMATH Keywords: rules
zbMATH Keywords: TGD
zbMATH Keywords: decidability
zbMATH Keywords: forward chaining
zbMATH Keywords: chase
zbMATH Keywords: backward chaining
zbMATH Keywords: rule dependency
describes a project that uses: Datalog
MaRDI profile type: Publication
full work available at URL: j.artint.2011.03.002
OpenAlex ID: W2040566369
cites work: Q4864249
cites work: Q4411130
cites work: Rules Dependencies in Backward Chaining of Conceptual Graphs Rules
cites work: Q3912018
cites work: A Proof Procedure for Data Dependencies
cites work: Tractable reasoning and efficient query answering in description logics: The DL-Lite family
cites work: The Implication Problem for Functional and Inclusion Dependencies is Undecidable
cites work: Graph-based knowledge representation. Computational foundations of conceptual graphs
cites work: A top-down proof procedure for generalized data dependencies
cites work: The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
cites work: Q4414537
cites work: Q4414536
cites work: Data exchange: semantics and query answering
cites work: Testing containment of conjunctive queries under functional and inclusion dependencies
cites work: Q3321495
cites work: The implication and finite implication problems for typed template dependencies
DOI: 10.1016/J.ARTINT.2011.03.002
description: scientific article; zbMATH DE number 5973638