We present SVTe, a tool to validate relational database schemas that allows performing several tests to determine the correctness of a schema. When a test is satisfied, our tool provides an example of a database state satisfying the test. Otherwise, it gives an explanation. We describe the main functionalities of SVTe, its architecture and provide some experimental results.
我们介绍了SVTe，这是一种用于验证关系数据库架构的工具，该工具允许执行多个测试以确定架构的正确性。满足测试条件后，我们的工具会提供一个满足测试条件的数据库状态示例。否则，将给出解释。我们描述了SVTe的主要功能，其架构，并提供了一些实验结果。
机译：SVTE.
