Cover Image

Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liu, Yanhong A., Idogun, John, Stoller, Scott D., Tong, Yi
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

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

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

TQL: Towards Type-Driven Data Discovery
by: Kang, Andrew, et al.
Published: (2025)

Synthesizing Document Database Queries using Collection Abstractions
by: Liu, Qikang, et al.
Published: (2024)

Adaptive Recursive Query Optimization
by: Herlihy, Anna, et al.
Published: (2023)

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

Galley: Modern Query Optimization for Sparse Tensor Programs
by: Deeds, Kyle, et al.
Published: (2024)

Constant Optimization Driven Database System Testing
by: Zhang, Chi, et al.
Published: (2025)

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

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

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
by: Zhao, Pinhan, et al.
Published: (2025)

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

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

Bonsai: Compiling Queries to Pruned Tree Traversals
by: Root, Alexander J, et al.
Published: (2025)

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
by: Geng, Chujun, et al.
Published: (2024)

A Domain-Specific Language for LLM-Driven Trigger Generation in Multimodal Data Collection
by: Reis, Philipp, et al.
Published: (2026)

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

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

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

From Facts to Insights: A Persona-Driven Dual Memory Framework and Dataset for Role-Playing Agents
by: Zhang, Rongsheng, et al.
Published: (2026)

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

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

Vbox: Efficient Black-Box Serializability Verification
by: Sun, Weihua, 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)

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

Foundations of the GraphAlg Language
by: de Graaf, Daan, et al.
Published: (2026)

The Monotone Priority System: Foundations of Contract-Specific Sequencing
by: Durvasula, Naveen
Published: (2026)

Dias: Dynamic Rewriting of Pandas Code
by: Baziotis, Stefanos, et al.
Published: (2023)

Static Type Checking for Database Access Code
by: Kirz, Thomas James, et al.
Published: (2026)

Understanding Graph Databases: A Comprehensive Tutorial and Survey
by: Anuyah, Sydney, et al.
Published: (2024)

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

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

Validation of Modern JSON Schema: Formalization and Complexity
by: Attouche, Lyes, et al.
Published: (2023)

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

RelationalFactQA: A Benchmark for Evaluating Tabular Fact Retrieval from Large Language Models
by: Satriani, Dario, et al.
Published: (2025)

Hybrid Querying Over Relational Databases and Large Language Models
by: Zhao, Fuheng, et al.
Published: (2024)

Structured Prompt Language: Declarative Context Management for LLMs
by: Gong, Wen G.
Published: (2026)

Graph-Reward-SQL: Execution-Free Reinforcement Learning for Text-to-SQL via Graph Matching and Stepwise Reward
by: Weng, Han, et al.
Published: (2025)