planner: introduce Cond-FD to maintain null-constraint FD (#34147)

[ti-srebot]

cherry-pick #34147 to release-5.4
You can switch your code base to this Pull Request by using git-extras:

# In tidb repo:
git pr https://github.com/pingcap/tidb/pull/34497

After apply modifications, you can push your change to this PR via:

git push [email protected]:ti-srebot/tidb.git pr/34497:release-5.4-2f86eac3cfef

---

What problem does this PR solve?

Issue Number: close #34148

Problem Summary:

What is changed and how it works?

1: solve the FD loss when encounter left outer join nested.
2: Introduce a new concept of condition-FD named as Cond-FD (detail see doc.go) which is more useful than lax constant and lax equiv theoretically.

Check List

Tests

• Unit test
• Integration test
• Manual test (add detailed scripts or steps below)
• No code

Side effects

• Performance regression: Consumes more CPU
• Performance regression: Consumes more Memory
• Breaking backward compatibility

Documentation

• Affects user behaviors
• Contains syntax changes
• Contains variable changes
• Contains experimental features
• Changes MySQL compatibility

Release note

Please refer to Release Notes Language Style Guide to write a quality release note.

planner: introduce Cond-FD to maintain null-constraint FD

[ti-chi-bot]

[REVIEW NOTIFICATION]

This pull request has not been approved.

To complete the pull request process, please ask the reviewers in the list to review by filling /cc @reviewer in the comment.
After your PR has acquired the required number of LGTMs, you can assign this pull request to the committer in the list by filling /assign @committer in the comment to help you merge this pull request.

The full list of commands accepted by this bot can be found here.

Reviewer can indicate their review by submitting an approval review.
Reviewer can cancel approval by submitting a request changes review.

[ti-srebot]

/run-all-tests

[ti-srebot]

@AilinKid you're already a collaborator in bot's repo.