After creating an IsoUnion schema, inserting a tuple into a relation violating the predicate should throw a constraint error
未关闭
- 主要语言
- Haskell
- 星标
- 952
- 派生
- 50
- PR 合并指标
- 30 天内没有已合并 PR
描述
```
employee:=relation{tuple{name "Steve", boss ""}, tuple{name "Cindy", boss "Steve"}, tuple{name "Sam", boss "Steve"}}
:addschema splitboss (isounion "boss" "peon" "employee" boss="", isopassthrough "true", isopassthrough "false")
:setschema splitboss
insert peon relation{tuple{name "Elvis", boss ""}}
```
results in silent success and a discarded tuple which leaks the fact that this is a schema. A normal relvar would throw a constraint violation error instead which is what should happen in the schema context as well.
贡献指南
这个仓库没有索引到贡献指南
评估
这个 Issue 还没有评估数据。