A technique for proving decidability of containment and equivalence of linear constraint queries (Q1807671): Difference between revisions

@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalences among Relational Expressions
@@ Property / cites work: Equivalences among Relational Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-bounded multipushdown machines
@@ Property / cites work: Reversal-bounded multipushdown machines / rank @@
+Normal rank
@@ Property / cites work @@
+Relational expressive power of constraint query languages
+Normal rank
@@ Property / cites work @@
+Computable queries for relational data bases
@@ Property / cites work: Computable queries for relational data bases / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+A relational model of data for large shared data banks
+Normal rank
@@ Property / cites work @@
+Conjunctive query containment with respect to views and constraints
+Normal rank
@@ Property / cites work @@
+An application of games to the completeness problem for formalized theories
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-model theory -- A personal perspective
@@ Property / cites work: Finite-model theory -- A personal perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Q4082296
@@ Property / cites work: Q4082296 / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for the First Order Theory of Real Addition with Order
+Normal rank
@@ Property / cites work @@
+On monadic NP vs monadic co-NP
@@ Property / cites work: On monadic NP vs monadic co-NP / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of Presburger arithmetic with bounded quantifier alternation depth
+Normal rank
@@ Property / cites work @@
+Q3666827
@@ Property / cites work: Q3666827 / rank @@
+Normal rank
@@ Property / cites work @@
+An NP-Complete Number-Theoretic Problem
@@ Property / cites work: An NP-Complete Number-Theoretic Problem / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of decision problems for finite-turn multicounter machines
+Normal rank
@@ Property / cites work @@
+Two-Way Counter Machines and Diophantine Equations
+Normal rank
@@ Property / cites work @@
+Finitely representable databases
@@ Property / cites work: Finitely representable databases / rank @@
+Normal rank
@@ Property / cites work @@
+Queries with arithmetical constraints
@@ Property / cites work: Queries with arithmetical constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551141
@@ Property / cites work: Q5551141 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Multicounter Machines and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+New Decidability Results Concerning Two-Way Counter Machines
+Normal rank
@@ Property / cites work @@
+Q4490722
@@ Property / cites work: Q4490722 / 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 @@
+Query languages for bags and aggregate functions
@@ Property / cites work: Query languages for bags and aggregate functions / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+First-Order Queries on Finite Structures Over the Reals
+Normal rank
@@ Property / cites work @@
+A closed-form evaluation for Datalog queries with integer (gap)-order constraints
+Normal rank
@@ Property / cites work @@
+Presburger arithmetic with bounded quantifier alternation
+Normal rank
@@ Property / cites work @@
+The comparison of the expressive power of first-order dynamic logics
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5797034
@@ Property / cites work: Q5797034 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of querying indefinite data about linearly ordered domains
+Normal rank
@@ Property / cites work @@
+Deterministic one-counter automata
@@ Property / cites work: Deterministic one-counter automata / rank @@
+Normal rank