DBProve

The DBProve tool is a utility written in C++ that can connect to multiple databases and provide a unified, diagnostic interface to them.

This allows us to compare query plans across databases as well as gain deeper insights into I/O patterns, CPU usage, Relational Operator performance and other critical aspects of the test database

DBProve is always being expanded and improved. You can contribute to this effort via a variety of initiatives:

• Writing new Database Drivers to support your favourite
• Adding new Theorems — The DBProve name for a test with automated analysis
• Fixing bugs, improving user experience or just generally making the utilty better
• Improving cross-platform support and portability
• Contributing test results

DBProve is written using a modern C++23 standard. It is open source under the Apache License. It compiles into a single binary (using static linking whenever possible), so it can be easily distributed to servers without needing to install any dependencies.

You can contribute test results to this site by using DBProve to run Theorems and uploading the artifacts DBProve creates (it is a bunch of CSV files). Once you have collected the results you file a PR against the result repository.

Contributing results is done via this repo: dbprove-results. In the README file of that repo you the exact process is described.