Evaluating Datalog over Semirings: A Grounding-based Approach
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Zhao, Hangdong, Deep, Shaleen, Koutris, Paraschos, Roy, Sudeepa, Tannen, Val |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Circuits and Formulas for Datalog over Semirings
von: Fan, Austen Z., et al.
Veröffentlicht: (2025)
von: Fan, Austen Z., et al.
Veröffentlicht: (2025)
Output-sensitive Conjunctive Query Evaluation
von: Deep, Shaleen, et al.
Veröffentlicht: (2024)
von: Deep, Shaleen, et al.
Veröffentlicht: (2024)
Ranked Enumeration of Conjunctive Query Results
von: Deep, Shaleen, et al.
Veröffentlicht: (2019)
von: Deep, Shaleen, et al.
Veröffentlicht: (2019)
Enumeration Algorithms for Conjunctive Queries with Projection
von: Deep, Shaleen, et al.
Veröffentlicht: (2021)
von: Deep, Shaleen, et al.
Veröffentlicht: (2021)
FlowLog: Efficient and Extensible Datalog via Incrementality
von: Zhao, Hangdong, et al.
Veröffentlicht: (2025)
von: Zhao, Hangdong, et al.
Veröffentlicht: (2025)
Provenance Analysis and Semiring Semantics for First-Order Logic
von: Grädel, Erich, et al.
Veröffentlicht: (2024)
von: Grädel, Erich, et al.
Veröffentlicht: (2024)
Predicate Transfer: Efficient Pre-Filtering on Multi-Join Queries
von: Yang, Yifei, et al.
Veröffentlicht: (2023)
von: Yang, Yifei, et al.
Veröffentlicht: (2023)
A Unifying Algorithm for Hierarchical Queries
von: Khamis, Mahmoud Abo, et al.
Veröffentlicht: (2025)
von: Khamis, Mahmoud Abo, et al.
Veröffentlicht: (2025)
Convergence of Datalog over (Pre-) Semirings
von: Khamis, Mahmoud Abo, et al.
Veröffentlicht: (2021)
von: Khamis, Mahmoud Abo, et al.
Veröffentlicht: (2021)
Parallel Query Processing with Heterogeneous Machines
von: Frisk, Simon, et al.
Veröffentlicht: (2025)
von: Frisk, Simon, et al.
Veröffentlicht: (2025)
One Join Order Does Not Fit All: Reducing Intermediate Results with Per-Split Query Plans
von: He, Yujun, et al.
Veröffentlicht: (2025)
von: He, Yujun, et al.
Veröffentlicht: (2025)
The Complexity of Finding Missing Answer Repairs
von: Comer, Jesse, et al.
Veröffentlicht: (2026)
von: Comer, Jesse, et al.
Veröffentlicht: (2026)
K-Join: Combining Vertex Covers for Parallel Joins
von: Frisk, Simon, et al.
Veröffentlicht: (2026)
von: Frisk, Simon, et al.
Veröffentlicht: (2026)
Naive Bayes Classifiers over Missing Data: Decision and Poisoning
von: Bian, Song, et al.
Veröffentlicht: (2023)
von: Bian, Song, et al.
Veröffentlicht: (2023)
An Evaluation of N-Gram Selection Strategies for Regular Expression Indexing in Contemporary Text Analysis Tasks. Extended Version
von: Zhang, Ling, et al.
Veröffentlicht: (2025)
von: Zhang, Ling, et al.
Veröffentlicht: (2025)
The Free Termination Property of Queries Over Time
von: Power, Conor, et al.
Veröffentlicht: (2025)
von: Power, Conor, et al.
Veröffentlicht: (2025)
Debunking the Myth of Join Ordering: Toward Robust SQL Analytics
von: Zhao, Junyi, et al.
Veröffentlicht: (2025)
von: Zhao, Junyi, et al.
Veröffentlicht: (2025)
Database Theory in Action: Yannakakis' Algorithm
von: Koutris, Paraschos, et al.
Veröffentlicht: (2025)
von: Koutris, Paraschos, et al.
Veröffentlicht: (2025)
Regular Expression Indexing for Log Analysis. Extended Version
von: Zhang, Ling, et al.
Veröffentlicht: (2025)
von: Zhang, Ling, et al.
Veröffentlicht: (2025)
Summarized Causal Explanations For Aggregate Views (Full version)
von: Youngmann, Brit, et al.
Veröffentlicht: (2024)
von: Youngmann, Brit, et al.
Veröffentlicht: (2024)
On the Convergence Rate of Linear Datalogo over Stable Semirings
von: Im, Sungjin, et al.
Veröffentlicht: (2023)
von: Im, Sungjin, et al.
Veröffentlicht: (2023)
The Temporal Vadalog System: Temporal Datalog-based Reasoning
von: Bellomarini, Luigi, et al.
Veröffentlicht: (2024)
von: Bellomarini, Luigi, et al.
Veröffentlicht: (2024)
Column-Oriented Datalog on the GPU
von: Sun, Yihao, et al.
Veröffentlicht: (2025)
von: Sun, Yihao, et al.
Veröffentlicht: (2025)
Size Bound-Adorned Datalog
von: Fattebert, Christian, et al.
Veröffentlicht: (2026)
von: Fattebert, Christian, et al.
Veröffentlicht: (2026)
Fair and Actionable Causal Prescription Ruleset
von: Li, Benton, et al.
Veröffentlicht: (2025)
von: Li, Benton, et al.
Veröffentlicht: (2025)
Optimizing Datalog for the GPU
von: Sun, Yihao, et al.
Veröffentlicht: (2023)
von: Sun, Yihao, et al.
Veröffentlicht: (2023)
Qr-Hint: Actionable Hints Towards Correcting Wrong SQL Queries
von: Hu, Yihao, et al.
Veröffentlicht: (2024)
von: Hu, Yihao, et al.
Veröffentlicht: (2024)
One Size Does NOT Fit All: On the Importance of Physical Representations for Datalog Evaluation
von: Rassau, Nick, et al.
Veröffentlicht: (2026)
von: Rassau, Nick, et al.
Veröffentlicht: (2026)
Datalog with First-Class Facts
von: Gilray, Thomas, et al.
Veröffentlicht: (2024)
von: Gilray, Thomas, et al.
Veröffentlicht: (2024)
The Cost of Representation by Subset Repairs
von: Liu, Yuxi, et al.
Veröffentlicht: (2024)
von: Liu, Yuxi, et al.
Veröffentlicht: (2024)
Fixpoint Semantics for DatalogMTL with Negation
von: Pollaci, Samuele
Veröffentlicht: (2026)
von: Pollaci, Samuele
Veröffentlicht: (2026)
Scaling Worst-Case Optimal Datalog to GPUs
von: Sun, Yihao, et al.
Veröffentlicht: (2026)
von: Sun, Yihao, et al.
Veröffentlicht: (2026)
Inconsistency Handling in DatalogMTL
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2025)
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2025)
Nexus: Inferring Join Graphs from Metadata Alone via Iterative Low-Rank Matrix Completion
von: Cong, Tianji, et al.
Veröffentlicht: (2026)
von: Cong, Tianji, et al.
Veröffentlicht: (2026)
The Power of Negation in Higher-Order Datalog
von: Charalambidis, Angelos, et al.
Veröffentlicht: (2025)
von: Charalambidis, Angelos, et al.
Veröffentlicht: (2025)
Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
von: Hanisch, Philipp, et al.
Veröffentlicht: (2026)
von: Hanisch, Philipp, et al.
Veröffentlicht: (2026)
The Case for Cardinality Lower Bounds
von: Stoian, Mihail, et al.
Veröffentlicht: (2026)
von: Stoian, Mihail, et al.
Veröffentlicht: (2026)
Semiring Provenance for Lightweight Description Logics
von: Bourgaux, Camille, et al.
Veröffentlicht: (2023)
von: Bourgaux, Camille, et al.
Veröffentlicht: (2023)
FC-Datalog as a Framework for Efficient String Querying
von: Bell, Owen M., et al.
Veröffentlicht: (2025)
von: Bell, Owen M., et al.
Veröffentlicht: (2025)
Efficient Temporal Datalog Materialisation for Composite Event Recognition
von: Mantenoglou, Periklis
Veröffentlicht: (2026)
von: Mantenoglou, Periklis
Veröffentlicht: (2026)
Ähnliche Einträge
-
Circuits and Formulas for Datalog over Semirings
von: Fan, Austen Z., et al.
Veröffentlicht: (2025) -
Output-sensitive Conjunctive Query Evaluation
von: Deep, Shaleen, et al.
Veröffentlicht: (2024) -
Ranked Enumeration of Conjunctive Query Results
von: Deep, Shaleen, et al.
Veröffentlicht: (2019) -
Enumeration Algorithms for Conjunctive Queries with Projection
von: Deep, Shaleen, et al.
Veröffentlicht: (2021) -
FlowLog: Efficient and Extensible Datalog via Incrementality
von: Zhao, Hangdong, et al.
Veröffentlicht: (2025)