3、快速服务验证与查询执行框架

快速服务验证与查询执行框架

在当今的服务部署生态系统中，业务规则的验证和查询执行是至关重要的环节。本文将介绍一种创新的方法，用于快速服务验证和查询执行，该方法能够统一两个任务，并在一次处理中解决场景生成问题。

1. 核心贡献

本文主要有以下三个关键贡献：
- 业务规则验证建模 ：解决业务规则验证问题，将规则用扩展布尔逻辑表示，并将其建模为同时测试场景生成问题的实例。
- 加速查询执行 ：讨论如何使用查找表加速运行时查询执行过程。
- 创新场景计算方法 ：提出一种创新方法，借助新颖的数据结构，使用单遍方法同时计算正、负测试场景的详尽集合，使该方法具有可扩展性、详尽性且在实践中可用。

2. 工作动机

为了更好地理解本文工作的动机，我们来看一个在线购物框架中的业务决策规则示例。

示例规则 ：如果品牌是阿迪达斯（p1），并且满足以下任何一个条件：
- 是圣诞节期间（p2）
- 在一年中的其他时间（¬p2），如果顾客是阿迪达斯的重要客户（p3）
- 购买的是旧库存商品（p4）
- 购买金额超过 150 美元（p5）

那么对每笔阿迪达斯购物宣布 10% 的折扣。

该规则的触发条件可以用布尔表达式表示为：$A = p1.(p2 + ¬p2.p3 + p4 + p5)$

对规则的前件进行简单分析，可以得到规则始终为真的场景：
- {品牌是阿迪达斯，现在是圣诞节期间}