Cover Image

Circuits and Formulas for Datalog over Semirings

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fan, Austen Z., Koutris, Paraschos, Roy, Sudeepa
Format:	Preprint
Published:	2025
Subjects:	Databases Computational Complexity
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Evaluating Datalog over Semirings: A Grounding-based Approach
by: Zhao, Hangdong, et al.
Published: (2024)

K-Join: Combining Vertex Covers for Parallel Joins
by: Frisk, Simon, et al.
Published: (2026)

Output-sensitive Conjunctive Query Evaluation
by: Deep, Shaleen, et al.
Published: (2024)

The Power of Negation in Higher-Order Datalog
by: Charalambidis, Angelos, et al.
Published: (2025)

FlowLog: Efficient and Extensible Datalog via Incrementality
by: Zhao, Hangdong, et al.
Published: (2025)

Convergence of Datalog over (Pre-) Semirings
by: Khamis, Mahmoud Abo, et al.
Published: (2021)

From Time to Space: The Impact of Linearity in Higher-Order Datalog
by: Charalambidis, Angelos, et al.
Published: (2026)

Parallel Query Processing with Heterogeneous Machines
by: Frisk, Simon, et al.
Published: (2025)

Ranked Enumeration of Conjunctive Query Results
by: Deep, Shaleen, et al.
Published: (2019)

Naive Bayes Classifiers over Missing Data: Decision and Poisoning
by: Bian, Song, et al.
Published: (2023)

The Free Termination Property of Queries Over Time
by: Power, Conor, et al.
Published: (2025)

Lower Bounds for Conjunctive Query Evaluation
by: Mengel, Stefan
Published: (2025)

PFCS: Prime Factorization Cache System for Deterministic Data Relationship Discovery
by: Le, Duy
Published: (2025)

Jaguar: A Primal Algorithm for Conjunctive Query Evaluation in Submodular-Width Time
by: Khamis, Mahmoud Abo, et al.
Published: (2026)

Diversity of Answers to Conjunctive Queries
by: Merkl, Timo Camillo, et al.
Published: (2023)

The Complexity of Finding Missing Answer Repairs
by: Comer, Jesse, et al.
Published: (2026)

Towards Parameterized Hardness on Maintaining Conjunctive Queries
by: Wang, Qichen
Published: (2026)

Parameterised Complexity of Consistent Query Answering via Graph Representations
by: Hankala, Teemu, et al.
Published: (2024)

Tight Fine-Grained Bounds for Direct Access on Join Queries
by: Bringmann, Karl, et al.
Published: (2022)

Enumeration Algorithms for Conjunctive Queries with Projection
by: Deep, Shaleen, et al.
Published: (2021)

VP, VNP and Algebraic Branching Programs over Min-Plus Semirings
by: Komarath, Balagopal, et al.
Published: (2026)

Predicate Transfer: Efficient Pre-Filtering on Multi-Join Queries
by: Yang, Yifei, et al.
Published: (2023)

Expected Shapley-Like Scores of Boolean Functions: Complexity and Applications to Probabilistic Databases
by: Karmakar, Pratik, et al.
Published: (2024)

Fast Matrix Multiplication meets the Submodular Width
by: Abo-Khamis, Mahmoud, et al.
Published: (2024)

Approximately Counting Answers to Conjunctive Queries with Disequalities and Negations
by: Focke, Jacob, et al.
Published: (2021)

Fagin's Theorem for Semiring Turing Machines
by: Badia, Guillermo, et al.
Published: (2025)

Logic and Computation through the Lens of Semirings
by: Barlag, Timon, et al.
Published: (2025)

Database Theory in Action: Yannakakis' Algorithm
by: Koutris, Paraschos, et al.
Published: (2025)

New Perspectives on Semiring Applications to Dynamic Programming
by: Baril, Ambroise, et al.
Published: (2025)

Debunking the Myth of Join Ordering: Toward Robust SQL Analytics
by: Zhao, Junyi, et al.
Published: (2025)

Learning Tree Pattern Transformations
by: Neider, Daniel, et al.
Published: (2024)

Matching walks that are minimal with respect to edge inclusion
by: Marsault, Victor
Published: (2024)

Symmetric Linear Arc Monadic Datalog and Gadget Reductions
by: Bodirsky, Manuel, et al.
Published: (2024)

New Planar Algorithms and a Full Complexity Classification of the Eight-Vertex Model
by: Fan, Austen, et al.
Published: (2026)

Enumeration and updates for conjunctive linear algebra queries through expressibility
by: Muñoz, Thomas, et al.
Published: (2023)

Capturing P: On the Expressive Power and Efficient Evaluation of Boolean Retrieval
by: Aavani, Amir
Published: (2026)

Fixpoint Semantics for DatalogMTL with Negation
by: Pollaci, Samuele
Published: (2026)

Enhancing Grover's Search Algorithm: A Modified Approach to Increase the Probability of Good States
by: Abdulrahman, Ismael
Published: (2024)

One Join Order Does Not Fit All: Reducing Intermediate Results with Per-Split Query Plans
by: He, Yujun, et al.
Published: (2025)

Polynomial Lower Bounds for Arithmetic Circuits over Non-Commutative Rings
by: Raz, Ran
Published: (2026)