Login / Signup
Two algorithms based on modular arithmetic: lattice basis reduction and Hermite normal form computation.
Ralph Bottesch
Jose Divasón
René Thiemann
Published in:
Arch. Formal Proofs (2021)
Keyphrases
</>
normal form
functional dependencies
computational complexity
relational databases
management system
database design
database systems
query optimization
prime implicates