Image de couverture de livre

Verifying SQL Queries using Theories of Tables and Relations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Mohamed, Mudathir, Reynolds, Andrew, Tinelli, Cesare, Barrett, Clark
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Solving Set Constraints with Comprehensions and Bounded Quantifiers
par: Mohamed, Mudathir, et autres
Publié: (2025)

Generalized Optimization Modulo Theories
par: Tsiskaridze, Nestan, et autres
Publié: (2024)

Lean-SMT: An SMT tactic for discharging proof goals in Lean
par: Mohamed, Abdalrhman, et autres
Publié: (2025)

Towards SMT Solver Stability via Input Normalization
par: Amrollahi, Daneshvar, et autres
Publié: (2024)

Relational Hoare Logic for Realistically Modelled Machine Code
par: Mazzucato, Denis, et autres
Publié: (2025)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
par: Przybocki, Benjamin, et autres
Publié: (2024)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
par: Preiner, Mathias, et autres
Publié: (2026)

Cubing for Tuning
par: Wu, Haoze, et autres
Publié: (2025)

Satisfiability Modulo Theories for Verifying MILP Certificates
par: Wood, Kenan, et autres
Publié: (2023)

The Pebble-Relation Comonad in Finite Model Theory
par: Montacute, Yoàv, et autres
Publié: (2021)

Automating Bitvector and Finite Field Equivalence Proofs in Lean
par: Pertseva, Elizaveta, et autres
Publié: (2026)

Lean-auto: An Interface between Lean 4 and Automated Theorem Provers
par: Qian, Yicheng, et autres
Publié: (2025)

Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts
par: Cate, Balder ten, et autres
Publié: (2025)

The termination of Nielsen transformations applied to word equations with length constraints
par: Przybocki, Benjamin, et autres
Publié: (2025)

Efficient Evaluation of Arbitrary Relational Calculus Queries
par: Raszyk, Martin, et autres
Publié: (2022)

Formally Verified Animation for RoboChart using Interaction Trees
par: Ye, Kangfeng, et autres
Publié: (2023)

Database Research needs an Abstract Relational Query Language
par: Gatterbauer, Wolfgang, et autres
Publié: (2025)

Nazrin: Atomic Tactics for Graph Neural Networks for Theorem Proving in Lean 4
par: Aniva, Leni, et autres
Publié: (2026)

Collusion Relations and their Applications to Balance Theory
par: Joinet, Jean-Baptiste, et autres
Publié: (2026)

Logical Relations for Formally Verified Authenticated Data Structures
par: Gregersen, Simon Oddershede, et autres
Publié: (2025)

Integer Reasoning Modulo Different Constants in SMT
par: Pertseva, Elizaveta, et autres
Publié: (2025)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
par: Feller, Thomas, et autres
Publié: (2023)

Structural Indexing of Relational Databases for the Evaluation of Free-Connex Acyclic Conjunctive Queries
par: Riveros, Cristian, et autres
Publié: (2026)

Verifying Numerical Methods with Isabelle/HOL
par: Bryant, Dustin, et autres
Publié: (2025)

A Relational Theory of Grounding and a new Grounder for SMT
par: Carbonnelle, Pierre
Publié: (2026)

Proof Minimization in Neural Network Verification
par: Isac, Omri, et autres
Publié: (2025)

PICID: Proof-Driven Clause Learning in Neural Network Verification
par: Isac, Omri, et autres
Publié: (2025)

Wait-Only Broadcast Protocols are Easier to Verify
par: Guillou, Lucie, et autres
Publié: (2025)

Verified and Optimized Implementation of Orthologic Proof Search
par: Guilloud, Simon, et autres
Publié: (2025)

Primitive Recursive Dependent Type Theory
par: Buchholtz, Ulrik, et autres
Publié: (2024)

Fixed Point Theorems in Computability Theory
par: Terwijn, Sebastiaan A.
Publié: (2024)

Rings and Boolean Algebras as Algebraic Theories
par: De Faveri, Arturo
Publié: (2025)

The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete
par: Nakamura, Yoshiki
Publié: (2025)

Relational semantics for flat Heyting-Lewis Logic
par: de Groot, Jim, et autres
Publié: (2026)

Characterizing Sets of Theories That Can Be Disjointly Combined
par: Przybocki, Benjamin, et autres
Publié: (2025)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
par: Hermes, Marc, et autres
Publié: (2023)

A Comprehensive Tutorial on over 100 Years of Diagrammatic Representations of Logical Statements and Relational Queries
par: Gatterbauer, Wolfgang
Publié: (2024)

Verifying Quantum Phase Estimation (QPE) using Prove-It
par: Witzel, Wayne M., et autres
Publié: (2023)

An Imperative Language for Verified Exact Real-Number Computation
par: Bauer, Andrej, et autres
Publié: (2024)

Proof Theory and Decision Procedures for Deontic STIT Logics
par: Lyon, Tim S., et autres
Publié: (2024)