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.

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

Logic inconsistency in results of two equivalent queries #5616

Open
polyominal opened this issue Jul 1, 2023 · 2 comments
Open

Logic inconsistency in results of two equivalent queries #5616

polyominal opened this issue Jul 1, 2023 · 2 comments
Assignees
Labels
affects/none PR/issue: this bug affects none version. severity/none Severity of bug type/bug Type: something is unexpected

Comments

@polyominal
Copy link

polyominal commented Jul 1, 2023

Bug Description

The following two logically equivalent (as one could verify) queries are returning inconsistent results.

Query 1:

MATCH (n1:L4)<-[:T4|T3]-(n2:L0:L3:L1:L4:L2)-[:T3|T5|T1|T4]->(n3:L3:L4:L5:L0), (n1)<-[r1]-(n4:L4:L1)<-[:T4|T3|T2]-(n4)-[:T5|T4|T3]-(n5:L0:L2), (n6:L4:L1)<-[r2:T1|T4|T2]-(n3:L2) RETURN *

Query 2:

MATCH (n4:L4:L1)-[:T4|T3|T2]->(n4:L4)-[r1]->(n1), (n6:L4:L1)<-[r2:T1|T4|T2]-(n3:L3:L4:L5:L0:L2)<-[:T3|T5|T1|T4]-(n2:L0:L3:L1:L4:L2)-[:T4|T3]->(n1:L4), (n4:L1)-[:T5|T4|T3]-(n5:L0:L2) RETURN *

Environments

  • OS: Linux nn 5.19.0-41-generic #42~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC Tue Apr 18 17:40:00 UTC 2 x86_64 x86_64 x86_64 GNU/Linux
  • CPU: 13th Gen Intel(R) Core(TM) i5-13400
  • Nebula Graph Version: v3.5.0

How To Reproduce

Steps to reproduce the behavior:

  1. Execute the statements in create.log to set up a fresh database.
  2. Run both of the aforementioned queries and check the results.

Expected behavior
The first query gives an empty result; the second gives a result of 21468 rows.

@polyominal polyominal added the type/bug Type: something is unexpected label Jul 1, 2023
@github-actions github-actions bot added affects/none PR/issue: this bug affects none version. severity/none Severity of bug labels Jul 1, 2023
@kikimo kikimo self-assigned this Jul 1, 2023
@kikimo
Copy link
Contributor

kikimo commented Jul 3, 2023

@polyominal I tested the two queries on the provided dataset, but they both returned empty results.
It's the queries right? And can you provide me the commit id of the Nebula you are running.

@kikimo
Copy link
Contributor

kikimo commented Jul 4, 2023

@polyominal Some error happend while preparing the data, after correting the error we can successfully reproduce the issue described above, thanks for reporting.

@polyominal polyominal changed the title Logic Inconsistency in Results of Two Equivalent Queries Logic inconsistency in results of two equivalent queries Jul 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
affects/none PR/issue: this bug affects none version. severity/none Severity of bug type/bug Type: something is unexpected
Projects
None yet
Development

No branches or pull requests

2 participants