Cover Image

FlowLog: Efficient and Extensible Datalog via Incrementality

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhao, Hangdong, Yu, Zhenghong, Rao, Srinag, Frisk, Simon, Fan, Zhiwei, Koutris, Paraschos
Format:	Preprint
Published:	2025
Subjects:	Databases Programming Languages
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)

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

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

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

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

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

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

The Free Termination Property of Queries Over Time
by: Power, Conor, 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)

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

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 Power of Negation in Higher-Order Datalog
by: Charalambidis, Angelos, et al.
Published: (2025)

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

Chatting with Logs: An exploratory study on Finetuning LLMs for LogQL
by: Seshagiri, Vishwanath, et al.
Published: (2024)

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

A Datalog Framework for Conflict-Free Replicated Data Types
by: Yanakieva, Elena, et al.
Published: (2026)

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

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

Vbox: Efficient Black-Box Serializability Verification
by: Sun, Weihua, et al.
Published: (2025)

PyTond: Efficient Python Data Science on the Shoulders of Databases
by: Shahrokhi, Hesam, et al.
Published: (2024)

FC-Datalog as a Framework for Efficient String Querying
by: Bell, Owen M., et al.
Published: (2025)

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
by: He, Yang, et al.
Published: (2024)

Auto-Formula: Recommend Formulas in Spreadsheets using Contrastive Learning for Table Representations
by: Chen, Sibei, et al.
Published: (2024)

The Case for Multi-Version Experimental Evaluation (MVEE)
by: Jörz, Simon, et al.
Published: (2026)

Rel: A Programming Language for Relational Data
by: Aref, Molham, et al.
Published: (2025)

An Extensive Study on Text Serialization Formats and Methods
by: Wei, Wang, et al.
Published: (2025)

Conformance Checking for Less: Efficient Conformance Checking for Long Event Sequences
by: Bogdanov, Eli, et al.
Published: (2025)

Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)
by: Casas-Ramos, Jacobo, et al.
Published: (2025)

On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
by: Bouajjani, Ahmed, et al.
Published: (2025)

Raqlet: Cross-Paradigm Compilation for Recursive Queries
by: Shaikhha, Amir, et al.
Published: (2025)

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

Querying Graph-Relational Data
by: Sullivan, Michael J., et al.
Published: (2025)

Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference
by: Liu, Yanhong A., et al.
Published: (2025)

Towards General-Purpose Data Discovery: A Programming Languages Approach
by: Kang, Andrew, et al.
Published: (2025)

Elimination of annotation dependencies in validation for Modern JSON Schema
by: Attouche, Lyes, et al.
Published: (2025)

Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs
by: Vandevoort, Brecht, et al.
Published: (2025)

Towards Relational Contextual Equality Saturation
by: Hou, Tyler, et al.
Published: (2025)

A Compiler for Operations on Relations with Bag Semantics
by: Dong, James, et al.
Published: (2025)