Verifying SQL queries using theories of tables and relations
From MaRDI portal
Cites work
- Datatypes with shared selectors
- Decision Procedures for Multisets with Cardinality Constraints
- Extending SMT solvers to higher-order logic
- scientific article; zbMATH DE number 2090313 (Why is no real title available?)
- scientific article; zbMATH DE number 839556 (Why is no real title available?)
- Politeness for the theory of algebraic datatypes
- Quantifier instantiation techniques for finite model finding in SMT
- Reasoning about vectors using an SMT theory of sequences
- Reasoning with finite sets and cardinality constraints in SMT
- Relational constraint solving in SMT
- Solving \(\mathrm{LIA}^\star\) using approximations
This page was built for publication: Verifying SQL queries using theories of tables and relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7025175)
