Evaluating Datalog via tree automata and cycluits (Q2322722): Difference between revisions

@@ Property / describes a project that uses @@
+Datalog LITE
@@ Property / describes a project that uses: Datalog LITE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ComputeTW
@@ Property / describes a project that uses: ComputeTW / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3104480332
@@ Property / OpenAlex ID: W3104480332 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04663
@@ Property / arXiv ID: 1808.04663 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Finding and counting given length cycles
@@ Property / cites work: Finding and counting given length cycles / rank @@
+Normal rank
@@ Property / cites work @@
+Combined Tractability of Query Evaluation via Tree Automata and Cycluits
+Normal rank
@@ Property / cites work @@
+Provenance Circuits for Trees and Treelike Instances
+Normal rank
@@ Property / cites work @@
+Rewriting Guarded Negation Queries
@@ Property / cites work: Rewriting Guarded Negation Queries / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded Negation
@@ Property / cites work: Guarded Negation / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic Datalog, Tree Validity, and Limited Access Containment
+Normal rank
@@ Property / cites work @@
+Monadic Datalog Containment
@@ Property / cites work: Monadic Datalog Containment / rank @@
+Normal rank
@@ Property / cites work @@
+A Step Up in Expressiveness of Decidable Fixpoint Logics
+Normal rank
@@ Property / cites work @@
+Effective interpolation and preservation in guarded logics
+Normal rank
@@ Property / cites work @@
+An introduction to clique minimal separator decomposition
+Normal rank
@@ Property / cites work @@
+Games and Model Checking for Guarded Logics
@@ Property / cites work: Games and Model Checking for Guarded Logics / rank @@
+Normal rank
@@ Property / cites work @@
+State-complexity of finite-state devices, state compressibility and incompressibility
+Normal rank
@@ Property / cites work @@
+A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
+Normal rank
@@ Property / cites work @@
+Treewidth computations. I: Upper bounds
@@ Property / cites work: Treewidth computations. I: Upper bounds / rank @@
+Normal rank
@@ Property / cites work @@
+Two-Way Tree Automata Solving Pushdown Games
@@ Property / cites work: Two-Way Tree Automata Solving Pushdown Games / rank @@
+Normal rank
@@ Property / cites work @@
+The Implication Problem for Functional and Inclusion Dependencies is Undecidable
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+Simplicial decompositions of graphs: A survey of applications
+Normal rank
@@ Property / cites work @@
+Degrees of acyclicity for hypergraphs and relational database schemes
+Normal rank
@@ Property / cites work @@
+Query evaluation via tree-decompositions
@@ Property / cites work: Query evaluation via tree-decompositions / rank @@
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+The intersection graphs of subtrees in trees are exactly the chordal graphs
+Normal rank
@@ Property / cites work @@
+Datalog LITE
@@ Property / cites work: Datalog LITE / rank @@
+Normal rank
@@ Property / cites work @@
+Hypertree decompositions and tractable queries
@@ Property / cites work: Hypertree decompositions and tractable queries / rank @@
+Normal rank
@@ Property / cites work @@
+Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width.
+Normal rank
@@ Property / cites work @@
+Monadic datalog over finite structures of bounded treewidth
+Normal rank
@@ Property / cites work @@
+Guarded fixed point logics and the monadic theory of countable trees.
+Normal rank
@@ Property / cites work @@
+Constraint solving via fractional edge covers
@@ Property / cites work: Constraint solving via fractional edge covers / rank @@
+Normal rank
@@ Property / cites work @@
+Incomplete Information in Relational Databases
@@ Property / cites work: Incomplete Information in Relational Databases / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal decomposition by clique separators
@@ Property / cites work: Optimal decomposition by clique separators / rank @@
+Normal rank
@@ Property / cites work @@
+The semijoin algebra and the guarded fragment
@@ Property / cites work: The semijoin algebra and the guarded fragment / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of cyclic combinational circuits
@@ Property / cites work: Analysis of cyclic combinational circuits / rank @@
+Normal rank
@@ Property / cites work @@
+An Indexing Framework for Queries on Probabilistic Graphs
+Normal rank
@@ Property / cites work @@
+Finding Regular Simple Paths in Graph Databases
@@ Property / cites work: Finding Regular Simple Paths in Graph Databases / rank @@
+Normal rank
@@ Property / cites work @@
+Q4135489
@@ Property / cites work: Q4135489 / rank @@
+Normal rank
@@ Property / cites work @@
+The implication problem for functional and inclusion dependencies
+Normal rank
@@ Property / cites work @@
+Cyclic Boolean circuits
@@ Property / cites work: Cyclic Boolean circuits / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. III. Planar tree-width
@@ Property / cites work: Graph minors. III. Planar tree-width / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. II. Algorithmic aspects of tree-width
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition by clique separators
@@ Property / cites work: Decomposition by clique separators / rank @@
+Normal rank
@@ Property / cites work @@
+Simple Linear-Time Algorithms to Test Chordality of Graphs, Test Acyclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Programming Techniques: Regular expression search algorithm
+Normal rank
@@ Property / Wikidata QID @@
+Q128626663
@@ Property / Wikidata QID: Q128626663 / rank @@
+Normal rank