# Searching for RH Counterexamples -- Adding a Database

DevFeed: [Searching for RH Counterexamples -- Adding a Database](<https://devfeed.tech/articles/searching-for-rh-counterexamples-adding-a-database-40437.md>)

Original publisher: [Read original article](<https://www.jeremykun.com/2020/09/11/searching-for-rh-counterexamples-adding-a-database/>)

Published: 2020-09-11T18:53:48Z

Content type: tutorial

Language: en

Sources: [Jeremy Kun](<https://devfeed.tech/sources/jeremy-kun.md>)

Topics: [Database](<https://devfeed.tech/topics/database.md>), [Software Engineering](<https://devfeed.tech/topics/software-engineering.md>), [Code](<https://devfeed.tech/topics/code.md>), [interface](<https://devfeed.tech/topics/interface.md>), [Testing](<https://devfeed.tech/topics/testing.md>), [Git](<https://devfeed.tech/topics/git.md>)

Tags: [code](<https://devfeed.tech/tags/code.md>), [database](<https://devfeed.tech/tags/database.md>), [databases](<https://devfeed.tech/tags/databases.md>), [dependency](<https://devfeed.tech/tags/dependency.md>), [git](<https://devfeed.tech/tags/git.md>), [interface](<https://devfeed.tech/tags/interface.md>), [mathematics](<https://devfeed.tech/tags/mathematics.md>), [number-theory](<https://devfeed.tech/tags/number-theory.md>), [oeis](<https://devfeed.tech/tags/oeis.md>), [programming](<https://devfeed.tech/tags/programming.md>), [riemann-hypothesis](<https://devfeed.tech/tags/riemann-hypothesis.md>), [software](<https://devfeed.tech/tags/software.md>), [software-design](<https://devfeed.tech/tags/software-design.md>), [sql](<https://devfeed.tech/tags/sql.md>), [testing](<https://devfeed.tech/tags/testing.md>)

## AI overview

This tutorial extends a Python application that computes divisor sums related to attempts to disprove the Riemann Hypothesis by adding a database dependency. It advocates defining and testing a minimal interface before choosing a database, so the dependency can change as the application evolves.

## Source excerpt

In the last article we set up pytest for a simple application that computes divisor sums $ \sigma(n)$ and tries to disprove the Riemann Hypothesis. In this post we'll show how to extend the application as we add a database dependency. The database stores the computed sums so we can analyze them after our application finishes. As in the previous post, I'll link to specific git commits in the final code repository to show how the project evolves.