On the public citation graph
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
0 signed · 57 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/stvr.424openalex-snapshot
Full predicate coverage for testing SQL database queries
inferredcites →https://doi.org/10.1007/978-3-319-96145-3_10openalex-snapshot
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode
inferredcites →https://doi.org/10.1007/978-3-540-24730-2_15openalex-snapshot
A Tool for Checking ANSI-C Programs
inferredcites →https://doi.org/10.1007/978-3-540-68237-0_5openalex-snapshot
CoVaC: Compiler Validation by Program Analysis of the Cross-Product
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_24openalex-snapshot
Z3: An Efficient SMT Solver
inferredcites →https://doi.org/10.1007/978-3-642-17511-4_24openalex-snapshot
Qex: Symbolic SQL Query Explorer
inferredcites →https://doi.org/10.1007/978-3-642-21437-0_17openalex-snapshot
Relational Verification Using Product Programs
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_59openalex-snapshot
Equality-Based Translation Validator for LLVM
inferredcites →https://doi.org/10.1007/978-3-642-31424-7_32openalex-snapshot
A Solver for Reachability Modulo Theories
inferredcites →https://doi.org/10.1007/978-3-642-36742-7_40openalex-snapshot
Model Checking Database Applications
inferredcites →https://doi.org/10.1007/s00224-011-9327-6openalex-snapshot
Containment of Conjunctive Queries on Annotated Relations
inferredcites →https://doi.org/10.1007/s00778-015-0395-0openalex-snapshot
Data generation for testing and grading SQL queries
inferredcites →https://doi.org/10.1007/s10817-022-09632-4openalex-snapshot
A Formalization of SQL with Nulls
inferredcites →https://doi.org/10.1016/j.jcss.2006.10.006openalex-snapshot
Specification and verification of data-driven Web applications
inferredcites →https://doi.org/10.1109/icde.2011.5767876openalex-snapshot
Generating test data for killing SQL mutants: A constraint-based approach
inferredcites →https://doi.org/10.1109/icde.2019.00159openalex-snapshot
Automated Grading of SQL Queries
inferredcites →https://doi.org/10.1109/icde53745.2022.00250openalex-snapshot
SPES: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics
inferredcites →https://doi.org/10.1137/0208017openalex-snapshot
Equivalences among Relational Expressions
inferredcites →https://doi.org/10.1145/1066157.1066219openalex-snapshot
A verifier for interactive, data-driven web applications
inferredcites →https://doi.org/10.1145/111197.111212openalex-snapshot
Formal semantics of SQL queries
inferredcites →https://doi.org/10.1145/2491956.2462180openalex-snapshot
Optimizing database-backed applications with query synthesis
inferredcites →https://doi.org/10.1145/2594291.2594340openalex-snapshot
A lightweight symbolic virtual machine for solver-aided host languages
inferredcites →https://doi.org/10.1145/2908080.2908092openalex-snapshot
Cartesian hoare logic for verifying k-safety properties
inferredcites →https://doi.org/10.1145/3035918.3058728openalex-snapshot
Demonstration of the Cosette Automated SQL Prover
inferredcites →https://doi.org/10.1145/3062341.3062348openalex-snapshot
HoTTSQL: proving query rewrites with univalent SQL semantics
inferredcites →https://doi.org/10.1145/3158144openalex-snapshot
Verifying equivalence of database-driven applications
inferredcites →https://doi.org/10.1145/3180155.3180202openalex-snapshot
Search-based test data generation for SQL queries
inferredcites →https://doi.org/10.1145/3276527openalex-snapshot
Speeding up symbolic reasoning for relational queries
inferredcites →https://doi.org/10.1145/3293880.3294107openalex-snapshot
A Coq mechanised formal semantics for realistic SQL queries: formally reconciling SQL and bag relational algebra
inferredcites →https://doi.org/10.1145/3299869.3319866openalex-snapshot
Explaining Wrong Queries Using Small Examples
inferredcites →https://doi.org/10.1145/3314221.3314588openalex-snapshot
Synthesizing database programs for schema refactoring
inferredcites →https://doi.org/10.1145/3428238openalex-snapshot
Deductive optimization of relational data storage
inferredcites →https://doi.org/10.1145/349299.349314openalex-snapshot
Translation validation for an optimizing compiler
inferredcites →https://doi.org/10.1145/800105.803397openalex-snapshot
Optimal implementation of conjunctive queries in relational data bases
inferredcites →https://doi.org/10.1145/964001.964003openalex-snapshot
Simple relational correctness proofs for static analyses and program transformations
inferredcites →https://doi.org/10.14778/3151113.3151116openalex-snapshot
A formal semantics of SQL queries, its validation, and applications
inferredcites →https://doi.org/10.14778/3236187.3236200openalex-snapshot
Axiomatic foundations and algorithms for deciding semantic equivalences of SQL queries
inferredcites →https://doi.org/10.14778/3342263.3342267openalex-snapshot
Automated verification of query equivalence using satisfiability modulo theories
inferredcites →https://doi.org/10.14778/3384345.3384350openalex-snapshot
Data migration using datalog program synthesis
inferredcites →https://doi.org/10.5281/zenodo.10460283openalex-snapshot
Artifact Evaluation VeriEQL: A Bounded Verifier for Expressive SQL Queries with Integrity Constraints
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1016/j.ins.2026.123783openalex-snapshot
LLM-driven authentic assessment of machine learning programs in the LearnMatic data science ITS
inferred← citeshttps://doi.org/10.1109/icde65706.2026.00310openalex-snapshot
Query Rewrite in the Learning Age: From Rules to ML-Based and LLM-Driven Techniques
inferred← citeshttps://doi.org/10.1145/3720504openalex-snapshot
Checking Observational Correctness of Database Systems
inferred← citeshttps://doi.org/10.1145/3725271openalex-snapshot
Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency
inferred← citeshttps://doi.org/10.1145/3729303openalex-snapshot
Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
inferred← citeshttps://doi.org/10.1145/3729319openalex-snapshot
Graphiti: Bridging Graph and Relational Database Queries
inferred← citeshttps://doi.org/10.1145/3744916.3773257openalex-snapshot
RISE: Rule-Driven SQL Dialect Translation via Query Reduction
inferred← citeshttps://doi.org/10.1145/3769832openalex-snapshot
Test Data Generation for Complex SQL Queries
inferred← citeshttps://doi.org/10.14778/3685800.3685894openalex-snapshot
Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries
inferred← citeshttps://doi.org/10.14778/3749646.3749727openalex-snapshot
ParSEval: Plan-Aware Test Database Generation for SQL Equivalence Evaluation
inferred← citeshttps://doi.org/10.14778/3827998.3828074openalex-snapshot
Verified LLM-Based Query Rewriting for Microsoft SQL Server
inferred← citeshttps://doi.org/10.2139/ssrn.7593270openalex-snapshot
Engineering Trustworthy LLM-Assisted SQL Rewriting with Rules and Validation
inferred← citeshttps://doi.org/10.3390/make7020041openalex-snapshot
Automated Grading Through Contrastive Learning: A Gradient Analysis and Feature Ablation Approach
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.