Certifying expressive power and algorithms of reversible primitive permutations with Lean.

Giacomo Maletto Luca Roversi

Published in: J. Log. Algebraic Methods Program. (2024)

Keyphrases

expressive power
query language
transitive closure
first order logic
data complexity
data structure
computational complexity
relational algebra
databases
artificial intelligence
search algorithm
markov chain
computational properties
relational calculus
database query languages