Cover Image

Synthesizing Document Database Queries using Collection Abstractions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liu, Qikang, He, Yang, Cai, Yanwen, Kwak, Byeongguk, Wang, Yuepeng
Format:	Preprint
Published:	2024
Subjects:	Databases Programming Languages Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

CUBES: A Parallel Synthesizer for SQL Using Examples
by: Brancas, Ricardo, et al.
Published: (2022)

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

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
by: Deng, Wenjing, et al.
Published: (2024)

Automating Database-Native Function Code Synthesis with LLMs
by: Zhou, Wei, et al.
Published: (2026)

Object Graph Programming
by: Thimmaiah, Aditya, et al.
Published: (2024)

CobbleDB: Modelling Levelled Storage by Composition
by: Ma, Emilie, et al.
Published: (2026)

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

Vextra: A Unified Middleware Abstraction for Heterogeneous Vector Database Systems
by: Suri, Chandan, et al.
Published: (2026)

Testing Database Systems with Large Language Model Synthesized Fragments
by: Zhong, Suyang, et al.
Published: (2025)

Task-Aware Reduction for Scalable LLM-Database Systems
by: Barnes, Marcus Emmanuel, et al.
Published: (2025)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
by: Wang, Claire, et al.
Published: (2025)

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

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

Comparative analysis of large data processing in Apache Spark using Java, Python and Scala
by: Borodii, Ivan, et al.
Published: (2025)

A Practical Framework for Flaky Failure Triage in Distributed Database Continuous Integration
by: Zhu, Jun-Peng, et al.
Published: (2026)

RISE: Rule-Driven SQL Dialect Translation via Query Reduction
by: Xie, Xudong, et al.
Published: (2026)

Designing and Implementing a Generator Framework for a SIMD Abstraction Library
by: Pietrzyk, Johannes, et al.
Published: (2024)

Proving Cypher Query Equivalence
by: Tang, Lei, et al.
Published: (2025)

Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)
by: Wei, Hengfeng, et al.
Published: (2025)

Natural Language Query Engine for Relational Databases using Generative AI
by: Fotso, Steve Tueno
Published: (2024)

An Empirical Study on the Characteristics of Database Access Bugs in Java Applications
by: Liu, Wei, et al.
Published: (2024)

DIRT: Database-Integrated Random Testing
by: Keles, Alperen, et al.
Published: (2026)

Scaling Automated Database System Testing
by: Zhong, Suyang, et al.
Published: (2025)

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
by: Ye, He, et al.
Published: (2023)

JEDI: Java Evaluation of Declarative and Imperative Queries
by: Schiavio, Filippo, et al.
Published: (2026)

SPADE: Synthesizing Data Quality Assertions for Large Language Model Pipelines
by: Shankar, Shreya, et al.
Published: (2024)

Towards a Unified Query Plan Representation
by: Ba, Jinsheng, et al.
Published: (2024)

Scalability, Availability, Reproducibility and Extensibility in Islamic Database Systems
by: Siddiqui, Umar, et al.
Published: (2025)

Contextualized Data-Wrangling Code Generation in Computational Notebooks
by: Huang, Junjie, et al.
Published: (2024)

MulChain: Enabling Advanced Cross-Modal Queries in Hybrid-Storage Blockchains
by: Peng, Zhiyuan, et al.
Published: (2025)

Dinkel: State-Aware and Granular Framework for Validating Graph Databases
by: Wüst, Celine, et al.
Published: (2024)

Finding Performance Issues in Database Systems by Exploiting Dormant Code Paths
by: Ba, Jinsheng, et al.
Published: (2026)

Bridging Imperative Process Models and Process Data Queries-Translation and Relaxation
by: Qureshi, Abdur Rehman Anwar, et al.
Published: (2025)

CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation
by: Ba, Jinsheng, et al.
Published: (2023)

Ultraverse: A System-Centric Framework for Efficient What-If Analysis for Database-Intensive Web Applications
by: Ko, Ronny, et al.
Published: (2022)

Seamless Data Migration between Database Schemas with DAMI-Framework: An Empirical Study on Developer Experience
by: Ramos-Vidal, Delfina, et al.
Published: (2025)

KRONE: Scalable LLM-Augmented Log Anomaly Detection via Hierarchical Abstraction
by: Ma, Lei, et al.
Published: (2026)

LogDB: Multivariate Log-based Failure Diagnosis for Distributed Databases (Extended from MultiLog)
by: Zhang, Lingzhe, et al.
Published: (2025)