Ring-k commented on a change in pull request #825: [IOTDB-499] Add query engine decument URL: https://github.com/apache/incubator-iotdb/pull/825#discussion_r382958510
########## File path: docs/Documentation-CHN/SystemDesign/2-QueryEngine/2-Planner.md ########## @@ -25,6 +25,24 @@ 将 SQL 解析出的语法树转化成逻辑计划，逻辑优化，物理计划。 +## 相关概念 + +* 命题 + + 在数学逻辑中，为了表达现实世界中的事件时，需要将事件抽象为**命题**。在数据库的查询语句中，我们可以将选择条件抽象为命题，即 s<sub>1</sub> > 10 就是一个命题。命题总有一个“值”，该值要么是“真”，要么是“假”。命题可以由其他命题通过**联结词**进行连接构成。在查询语句中，这样的连接词包括否定(¬)，合取(∧)，析取(∨)。不包含任何联结词的命题为**原子命题**，至少包含一个联结词的命题称作**复合命题**。 Review comment: 好的，统一使用“联结词”。 ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected] With regards, Apache Git Services
