dbis-uibk / relax

RelaX - a relational algebra calculator
http://dbis-uibk.github.io/relax/
MIT License
280 stars 96 forks source link

Small bug with relational division #124

Closed ghost closed 2 years ago

ghost commented 3 years ago

Hello,

thank you very much for RelaX. It's a great tool!

Unfortunately there seems to be a small bug with division. Steps to reproduce:

  1. Paste this to Group Editor and click to use it in editor:

group: "Test"

R = { Person:string, Pet:string Alice, Cat Alice, Dog Bob, Dog }

S = { Pet:string Cat Dog }

  1. Try the expression R ÷ S. The result has only one row: Alice. Fine!

  2. Go back to Group Editor and change the name of Bob to Cat.

  3. Try the expression R ÷ S again. The result now has an additional row: Cat. Why?

This seems to be a bug.

Kind regards Rainer

r-prem commented 2 years ago

Fixed with 454bcc

ghost commented 2 years ago

Thank you very much! But I'm afraid, the bug still exists. I can still reproduce it in the online version of RelaX.

r-prem commented 2 years ago

@Rainer012 Haven’t made a new version yet. It’s been fixed in the code. Will reply when a new version has been created.

ghost commented 2 years ago

Ah, got it. Thanks again!

r-prem commented 2 years ago

@Rainer012 New version is up.

ghost commented 2 years ago

Yes, now it's fixed. Thank you very much!