Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Some removed queries #68

Open
qishipengqsp opened this issue Apr 30, 2023 · 1 comment
Open

Some removed queries #68

qishipengqsp opened this issue Apr 30, 2023 · 1 comment
Labels
Future work This kind of issues are future works to do

Comments

@qishipengqsp
Copy link
Contributor

qishipengqsp commented Apr 30, 2023 •
edited
Loading

  • Ambiguity of the removed complex-read / 11
    • In [deprecated]transaction-complex-read-11.yaml： can persons l2p1, ..., l3p3 invest in companies such as l1c2, l1c3, l2c2, etc.? the pattern suggests that this is not possible but it would be logical... please clarify which one is the case?
  • simple 7 and simple 8 are removed due to complex 11
  • Other deletes: complex 10, write 12, write 15
@qishipengqsp qishipengqsp changed the title Ambiguity of the removed complex-read / 11 Some removed queries May 6, 2023
@qishipengqsp
Copy link
Contributor Author

Parameter $lowerbound and $upperbound are removed in complex 9 in #76

@qishipengqsp qishipengqsp added the Future work This kind of issues are future works to do label Jun 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Future work This kind of issues are future works to do
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@qishipengqsp