Copertina

Graphiti: Bridging Graph and Relational Database Queries

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	He, Yang, Fang, Ruijie, Dillig, Isil, Wang, Yuepeng
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
di: Barnaby, Celeste, et al.
Pubblicazione: (2026)

From Batch to Stream: Automatic Generation of Online Algorithms
di: Wang, Ziteng, et al.
Pubblicazione: (2024)

Homomorphism Calculus for User-Defined Aggregations
di: Wang, Ziteng, et al.
Pubblicazione: (2025)

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

Coeditor: Leveraging Contextual Changes for Multi-round Code Auto-editing
di: Wei, Jiayi, et al.
Pubblicazione: (2023)

Probabilistic Inference for Datalog with Correlated Inputs
di: Wang, Jingbo, et al.
Pubblicazione: (2025)

Optimal Predicate Pushdown Synthesis
di: Zhang, Robert, et al.
Pubblicazione: (2026)

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
di: Xin, Yutong, et al.
Pubblicazione: (2026)

Active Learning for Neurosymbolic Program Synthesis
di: Barnaby, Celeste, et al.
Pubblicazione: (2025)

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

Automated Discovery of Tactic Libraries for Interactive Theorem Proving
di: Xin, Yutong, et al.
Pubblicazione: (2025)

SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine
di: Modak, Sadanand, et al.
Pubblicazione: (2024)

Programmatic Imitation Learning from Unlabeled and Noisy Demonstrations
di: Xin, Jimmy, et al.
Pubblicazione: (2023)

Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices
di: He, Yang, et al.
Pubblicazione: (2025)

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

SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
di: Tremante, Andrew, et al.
Pubblicazione: (2026)

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
di: Huot, Mathieu, et al.
Pubblicazione: (2024)

Cognacy Queries over Dependence Graphs for Transparent Visualisations
di: Bond, Joseph, et al.
Pubblicazione: (2024)

Software Model Checking via Summary-Guided Search (Extended Version)
di: Fang, Ruijie, et al.
Pubblicazione: (2025)

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

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

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

Large Language Model Powered Symbolic Execution
di: Li, Yihe, et al.
Pubblicazione: (2025)

KestRel: Relational Verification Using E-Graphs for Program Alignment
di: Dickerson, Robert, et al.
Pubblicazione: (2024)

Synthesizing Trajectory Queries from Examples
di: Mell, Stephen, et al.
Pubblicazione: (2026)

CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
di: Khatry, Anirudh, et al.
Pubblicazione: (2025)

Language-Integrated Recursive Queries (Full Version)
di: Herlihy, Anna, et al.
Pubblicazione: (2025)

Adaptive Recursive Query Optimization
di: Herlihy, Anna, et al.
Pubblicazione: (2023)

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

A Relational Database System for Student Use.
di: Fertuck, Len
Pubblicazione: (1982)

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

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
di: Mang, Qiuyang, et al.
Pubblicazione: (2025)

Structured Query Construction via Knowledge Graph Embedding
di: Wang, Ruijie, et al.
Pubblicazione: (2019)

Building Bridges: Julia as an MLIR Frontend
di: Merckx, Jules
Pubblicazione: (2025)

Structural Code Search using Natural Language Queries
di: Limpanukorn, Ben, et al.
Pubblicazione: (2025)

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

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

DSDL: Data Set Description Language for Bridging Modalities and Tasks in AI Data
di: Wang, Bin, et al.
Pubblicazione: (2024)

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

Yggdrasil: Bridging Dynamic Speculation and Static Runtime for Latency-Optimal Tree-Based LLM Decoding
di: Guan, Yue, et al.
Pubblicazione: (2025)