Decidable containment of recursive queries
type: Item
instance of: scholarly article
title: Decidable containment of recursive queries
zbMATH Open document ID: 1101.68513
author: Diego Calvanese
author: Giuseppe De Giacomo
author: Moshe Y. Vardi
published in: Theoretical Computer Science
publication date: 2005-06-10T00:00:00Z
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 68P05
zbMATH DE Number: 2174890
zbMATH Keywords: Query containment
zbMATH Keywords: Semistructured data
zbMATH Keywords: Datalog
zbMATH Keywords: Regular path queries
Wikidata QID: Q64360091
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.10.031
OpenAlex ID: W2144771279
cites work: Q4864249
cites work: Regular path queries with constraints
cites work: Equivalences among Relational Expressions
cites work: Q4406531
cites work: Representing and reasoning on XML documents: a description logic approach
cites work: Q5714249
cites work: Horn clause queries and generalizations
cites work: On the equivalence of recursive and nonrecursive Datalog programs
cites work: A medvedev characterization of sets recognized by generalized finite automata
cites work: Tree acceptors and some of their applications
cites work: Linear-time algorithms for testing the satisfiability of propositional horn formulae
cites work: Q4179852
cites work: Answering queries using views: A survey
cites work: Q5592246
cites work: On conjunctive queries containing inequalities
cites work: On the foundations of the universal relation model
cites work: Elementary induction on abstract structures
cites work: Data independent recursion in deductive databases
cites work: Q3477931
cites work: Equivalences Among Relational Expressions with the Union and Difference Operators
cites work: Equivalence of Datalog queries is undecidable
cites work: Alternating tree automata
cites work: Generalized finite automata theory with an application to a decision problem of second-order logic
cites work: The complexity of querying indefinite data about linearly ordered domains
DOI: 10.1016/J.TCS.2004.10.031
description: scientific article; zbMATH DE number 2174890