agentm / agentm/project-m36

After creating an IsoUnion schema, inserting a tuple into a relation violating the predicate should throw a constraint error

Đang mở
#55 0 bình luận 0 reaction 1 người được giao Được @agentm nhận Xem trên GitHub
Ngôn ngữ chính
Haskell
Star
952
Fork
50
Chỉ số merge pull request
Không có pull request nào được merge trong 30 ngày

Mô tả

```
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.

Hướng dẫn đóng góp

Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này

Đánh giá

Issue này chưa được đánh giá.

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.