agentm / agentm/project-m36

eliminate duplicate constraint check if the source attribute shares the same constraint

未關閉
#382 0 則留言 0 個 reaction 已指派 1 人 已被 @agentm 認領 在 GitHub 檢視
optimization
主要語言
Haskell
星號
952
分支
50
PR 合併指標
30 天內沒有已合併 PR

描述

When copying an attribute X from relvarA to Y in relvarB and if X has a subset of Y's constraints, then Y's constraints do not need to be validated. The constraint has already been validated in X.

貢獻指南

這個儲存庫沒有索引到貢獻指南

評估

這個 Issue 還沒有評估資料。

把新 issue 寄到你的電子郵件信箱

精選適合新手參與的 GitHub issue 摘要。