What do applications like semantic optimization, data exchange and integration, answering queries under dependencies, query reformulation with constraints, and data cleaning have in common? All these applications can be processed by the Chase, a family of algorithms for reasoning with constraints. While the theory of the Chase is well understood, existing implementations are confined to specific use cases and application scenarios, making it difficult to reuse them in other settings. ChaTEAU overcomes this limitation: It takes the logical core of the Chase, generalizes it, and provides a software library for different Chase applications in a single toolkit.

翻译：语义优化、数据交换和整合、在依附关系下回答问题、在限制下重新进行查询和数据清理等应用有哪些共同之处?所有这些应用都可由大通处理,大通是一套推理和制约的算法,虽然大通的理论是完全理解的,但现有的实施仅限于具体使用案例和应用设想,难以在其他情况下重新使用。查图阿克服了这一限制:它采用大通的逻辑核心,将其概括化,并在一个工具包中为大通的不同应用提供一个软件库。