Cover Image

Convergence of Datalog over (Pre-) Semirings

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Khamis, Mahmoud Abo, Ngo, Hung Q., Pichler, Reinhard, Suciu, Dan, Wang, Yisu Remy
Format:	Preprint
Published:	2021
Subjects:	Databases
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PANDA: Query Evaluation in Submodular Width
by: Khamis, Mahmoud Abo, et al.
Published: (2024)

Query Optimization and Evaluation via Information Theory: A Tutorial
by: Khamis, Mahmoud Abo, et al.
Published: (2026)

PANDAExpress: a Simpler and Faster PANDA Algorithm
by: Khamis, Mahmoud Abo, et al.
Published: (2025)

Output-Sensitive Evaluation of Regular Path Queries
by: Khamis, Mahmoud Abo, et al.
Published: (2024)

Insert-Only versus Insert-Delete in Dynamic Query Evaluation
by: Khamis, Mahmoud Abo, et al.
Published: (2023)

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

Join Size Bounds using Lp-Norms on Degree Sequences
by: Khamis, Mahmoud Abo, et al.
Published: (2023)

Pessimistic Cardinality Estimation
by: Khamis, Mahmoud Abo, et al.
Published: (2024)

Semantic foundations of equality saturation
by: Suciu, Dan, et al.
Published: (2025)

LpBound: Pessimistic Cardinality Estimation using $\ell_p$-Norms of Degree Sequences
by: Zhang, Haozhe, et al.
Published: (2025)

Information Theory Strikes Back: New Development in the Theory of Cardinality Estimation
by: Khamis, Mahmoud Abo, et al.
Published: (2025)

On the Convergence Rate of Linear Datalogo over Stable Semirings
by: Im, Sungjin, et al.
Published: (2023)

Circuits and Formulas for Datalog over Semirings
by: Fan, Austen Z., et al.
Published: (2025)

Acyclic Conjunctive Regular Path Queries are no Harder than Corresponding Conjunctive Queries
by: Khamis, Mahmoud Abo, et al.
Published: (2025)

Size Bound-Adorned Datalog
by: Fattebert, Christian, et al.
Published: (2026)

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

Output-Sensitive Evaluation of Acyclic Conjunctive Regular Path Queries
by: Khamis, Mahmoud Abo, et al.
Published: (2025)

The Space-Time Complexity of Sum-Product Queries
by: Deeds, Kyle, et al.
Published: (2025)

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

Maintaining Queries under Updates Using Heavy-Light Partitioning of the Input Relations
by: Abo-Khamis, Mahmoud, et al.
Published: (2026)

A Unifying Algorithm for Hierarchical Queries
by: Khamis, Mahmoud Abo, et al.
Published: (2025)

Applications of Information Inequalities to Database Theory Problems
by: Suciu, Dan
Published: (2023)

HoneyComb: A Parallel Worst-Case Optimal Join on Multicores
by: Wu, Jiacheng, et al.
Published: (2025)

Polynomial Time Convergence of the Iterative Evaluation of Datalogo Programs
by: Im, Sungjin, et al.
Published: (2023)

TreeTracker Join: Simple, Optimal, Fast
by: Hu, Zeyuan, et al.
Published: (2024)

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

Instance-Optimal Acyclic Join Processing Without Regret: Engineering the Yannakakis Algorithm in Column Stores
by: Bekkers, Liese, et al.
Published: (2024)

Thucy: An LLM-based Multi-Agent System for Claim Verification across Relational Databases
by: Theologitis, Michael, et al.
Published: (2025)

Column-Oriented Datalog on the GPU
by: Sun, Yihao, et al.
Published: (2025)

Optimizing Datalog for the GPU
by: Sun, Yihao, et al.
Published: (2023)

Datalog with First-Class Facts
by: Gilray, Thomas, et al.
Published: (2024)

Avoiding Materialisation for Guarded Aggregate Queries
by: Lanzinger, Matthias, et al.
Published: (2024)

The Temporal Vadalog System: Temporal Datalog-based Reasoning
by: Bellomarini, Luigi, et al.
Published: (2024)

Color: A Framework for Applying Graph Coloring to Subgraph Cardinality Estimation
by: Deeds, Kyle, et al.
Published: (2024)

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

Query Answering under Volume-Based Diversity Functions
by: Arenas, Marcelo, et al.
Published: (2025)

Listing Even Cycles Faster than the Submodular-Width Barrier
by: Nakos, Vasileios, et al.
Published: (2026)

Algorithms for Optimizing Acyclic Queries
by: Luo, Zheng, et al.
Published: (2025)

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

Scaling Worst-Case Optimal Datalog to GPUs
by: Sun, Yihao, et al.
Published: (2026)