Conjunctive-query containment and constraint satisfaction (Q1591157): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1006/jcss.2000.1713
+Normal rank
@@ Property / OpenAlex ID @@
+W4254380579
@@ Property / OpenAlex ID: W4254380579 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56168970
@@ Property / Wikidata QID: Q56168970 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint satisfaction from a deductive viewpoint
+Normal rank
@@ Property / cites work @@
+A linear time algorithm for finding tree-decompositions of small treewidth
+Normal rank
@@ Property / cites work @@
+Horn clause queries and generalizations
@@ Property / cites work: Horn clause queries and generalizations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4232773
@@ Property / cites work: Q4232773 / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive query containment revisited
@@ Property / cites work: Conjunctive query containment revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposing a relation into a tree of binary relations
+Normal rank
@@ Property / cites work @@
+The Parametrized Complexity of Some Fundamental Problems in Coding Theory
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Tree clustering for constraint networks
@@ Property / cites work: Tree clustering for constraint networks / rank @@
+Normal rank
@@ Property / cites work @@
+Structure identification in relational data
@@ Property / cites work: Structure identification in relational data / rank @@
+Normal rank
@@ Property / cites work @@
+Monotone monadic SNP and constraint satisfaction
@@ Property / cites work: Monotone monadic SNP and constraint satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
+Normal rank
@@ Property / cites work @@
+Q3666827
@@ Property / cites work: Q3666827 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposing constraint satisfaction problems using database techniques
+Normal rank
@@ Property / cites work @@
+On the complexity of H-coloring
@@ Property / cites work: On the complexity of H-coloring / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of combinatorial problems
+Normal rank
@@ Property / cites work @@
+Infinitary logics and 0-1 laws
@@ Property / cites work: Infinitary logics and 0-1 laws / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of Datalog: tools and a case study.
+Normal rank
@@ Property / cites work @@
+Q4389333
@@ Property / cites work: Q4389333 / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for some classes of sentences without quantifiers
+Normal rank
@@ Property / cites work @@
+The complexity of constraint satisfaction revisited
+Normal rank
@@ Property / cites work @@
+Networks of constraints: Fundamental properties and applications to picture processing
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal Sublattices of Finite Distributive Lattices. II
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Information integration using logical views
@@ Property / cites work: Information integration using logical views / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385515
@@ Property / cites work: Q4385515 / rank @@
+Normal rank
@@ Property / cites work @@
+Node-Deletion Problems on Bipartite Graphs
@@ Property / cites work: Node-Deletion Problems on Bipartite Graphs / rank @@
+Normal rank