7、符号图转换中的延迟约束求解

符号图转换中的延迟约束求解

1. 引言

在图转换中，约束求解是一个重要的环节。传统的图转换方法在匹配规则时可能会进行早期绑定，这可能导致效率问题。本文将介绍一种延迟约束求解的方法，即懒惰符号图转换，它可以避免早期绑定带来的低效问题。

2. 基本概念

• 客户需求图 ：一个可能描述客户需求的起始图可以是一个接地图（表示为属性图，直接包含节点中的值）。例如，一个预算为450的客户，请求在柏林住两晚酒店，以及从巴塞罗那到柏林和从柏林到巴塞罗那的航班。

name : string
bud : int
c : Customer
departure(f) && de
loc : city = Berlin
nights : int = 2
: HotelRequest
name : string
bud : int = 450
: Customer
dep : city = Barcelona
dest : city = Berlin
: FlightRequest
dep : city = Berlin
dest : city = Barcelona
: FlightRequest

• 符号图转换规则 ：符号图转换规则通常表示为对 $\langle L \leftarrow K \rightarrow R, \Phi \rangle$，其中 $L$、$K$ 和 $R$ 是基于同一组标签 $X$ 的E - 图，$\Phi$ 是基于 $X$