Decidable containment of recursive queries (Q555766): Difference between revisions

@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular path queries with constraints
@@ Property / cites work: Regular path queries with constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalences among Relational Expressions
@@ Property / cites work: Equivalences among Relational Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing and reasoning on XML documents: a description logic approach
+Normal rank
@@ Property / cites work @@
+Q5714249
@@ Property / cites work: Q5714249 / rank @@
+Normal rank
@@ Property / cites work @@
+Horn clause queries and generalizations
@@ Property / cites work: Horn clause queries and generalizations / rank @@
+Normal rank
@@ Property / cites work @@
+On the equivalence of recursive and nonrecursive Datalog programs
+Normal rank
@@ Property / cites work @@
+A medvedev characterization of sets recognized by generalized finite automata
+Normal rank
@@ Property / cites work @@
+Tree acceptors and some of their applications
@@ Property / cites work: Tree acceptors and some of their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Q4179852
@@ Property / cites work: Q4179852 / rank @@
+Normal rank
@@ Property / cites work @@
+Answering queries using views: A survey
@@ Property / cites work: Answering queries using views: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+On conjunctive queries containing inequalities
@@ Property / cites work: On conjunctive queries containing inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+On the foundations of the universal relation model
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Data independent recursion in deductive databases
@@ Property / cites work: Data independent recursion in deductive databases / rank @@
+Normal rank
@@ Property / cites work @@
+Q3477931
@@ Property / cites work: Q3477931 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalences Among Relational Expressions with the Union and Difference Operators
+Normal rank
@@ Property / cites work @@
+Equivalence of Datalog queries is undecidable
@@ Property / cites work: Equivalence of Datalog queries is undecidable / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating tree automata
@@ Property / cites work: Alternating tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+The complexity of querying indefinite data about linearly ordered domains
+Normal rank