Imagen de Portada

Proving Cypher Query Equivalence

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Tang, Lei, Dou, Wensheng, Zheng, Yingying, Xu, Lijie, Wang, Wei, Wei, Jun, Huang, Tao
Formato:	Preprint
Publicado:	2025
Materias:	Databases Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

Declarative Techniques for NL Queries over Heterogeneous Data
por: Khabiri, Elham, et al.
Publicado: (2025)

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

FuzzySQL: Uncovering Hidden Vulnerabilities in DBMS Special Features with LLM-Driven Fuzzing
por: Chen, Yongxin, et al.
Publicado: (2026)

VARTS: A Tool for the Visualization and Analysis of Representative Time Series Data
por: Jin, Duosi, et al.
Publicado: (2026)

Enhancing SQL Query Generation with Neurosymbolic Reasoning
por: Princis, Henrijs, et al.
Publicado: (2024)

Search-Based Fuzzing For RESTful APIs That Use MongoDB
por: Ghianni, Hernan, et al.
Publicado: (2025)

Transactional Cloud Applications: Status Quo, Challenges, and Opportunities
por: Laigner, Rodrigo, et al.
Publicado: (2025)

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

A case study on the transformative potential of AI in software engineering on LeetCode and ChatGPT
por: Merkel, Manuel, et al.
Publicado: (2025)

Design and Development of a Web Platform for Blood Donation Management
por: Ali, Fatima Zulfiqar, et al.
Publicado: (2025)

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

Conceptual Entity-Relationship Model: Underneath the Simplicity and Staticity
por: Al-Fedaghi, Sabah
Publicado: (2025)

Scaling Automated Database System Testing
por: Zhong, Suyang, et al.
Publicado: (2025)

Microservices and Real-Time Processing in Retail IT: A Review of Open-Source Toolchains and Deployment Strategies
por: Vashisht, Aaditaa, et al.
Publicado: (2025)

Towards a fundamental theory of modeling discrete systems
por: Fettke, Peter, et al.
Publicado: (2025)

Formally and Empirically Verified Methodologies for Scalable Hierarchical Full-Stack Systems
por: Liu, Dong
Publicado: (2025)

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

Blaze: Compiling JSON Schema for 10x Faster Validation
por: Viotti, Juan Cruz, et al.
Publicado: (2025)

A Systematic Review of FAIR-compliant Big Data Software Reference Architectures
por: Castro, João Pedro de Carvalho, et al.
Publicado: (2025)

PandasBench: A Benchmark for the Pandas API
por: Broihier, Alex, et al.
Publicado: (2025)

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

vMODB: Unifying Event and Data Management for Distributed Asynchronous Applications
por: Laigner, Rodrigo, et al.
Publicado: (2025)

Similarity-Based Assessment of Computational Reproducibility in Jupyter Notebooks
por: Hossain, A S M Shahadat, et al.
Publicado: (2025)

Using ChatGPT to refine draft conceptual schemata in supply-driven design of multidimensional cubes
por: Rizzi, Stefano
Publicado: (2025)

Mining Constraints from Reference Process Models for Detecting Best-Practice Violations in Event Logs
por: Rebmann, Adrian, et al.
Publicado: (2024)

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

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

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

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

All LCA models are wrong. Are some of them useful? Towards open computational LCA in ICT
por: Corlay, Vincent, et al.
Publicado: (2026)

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