Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens.

Dominik Kirst Dominique Larchey-Wendling

Published in: CoRR (2021)

Keyphrases

finite model theory
database theory
formal methods
theorem prover
open problems
normal form
databases
database systems
database design