ChaTEAU：一个通用的Chase应用工具包
ChaTEAU: A Universal Toolkit for Applying the Chase
摘要：
语义优化、数据交换和集成、在依赖关系下回答查询、带约束的查询重构和数据清理等应用程序有什么共同点？所有这些应用程序都可以由Chase处理，Chase是一系列用于约束推理的算法。虽然Chase的理论很好理解，但现有的实现仅限于特定的用例和应用场景，因此很难在其他设置中重用它们。Chateau克服了这一限制：它采用Chase的逻辑核心，对其进行了概括，并在单个工具包中为不同的Chase应用程序提供了一个软件库。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
