From 63717a9760fed54065bb48df7443d8e8edb6c8dd Mon Sep 17 00:00:00 2001 From: Yingtao Liu Date: Tue, 28 Nov 2023 14:51:21 -0800 Subject: [PATCH] reformat --- .../org/partiql/planner/PartiQLHeader.kt | 20 +++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/partiql-planner/src/main/kotlin/org/partiql/planner/PartiQLHeader.kt b/partiql-planner/src/main/kotlin/org/partiql/planner/PartiQLHeader.kt index 4312b9cb12..d08ff47d4d 100644 --- a/partiql-planner/src/main/kotlin/org/partiql/planner/PartiQLHeader.kt +++ b/partiql-planner/src/main/kotlin/org/partiql/planner/PartiQLHeader.kt @@ -99,17 +99,17 @@ object PartiQLHeader : Header() { /** * Logical functions follows the three-valued logic truth table: * - * |A |B |A AND B|A OR B |NOT A | + * |A |B |A AND B|A OR B |NOT A | * |----|----|-------|-------|------| - * |T |T |T |T |F | - * |T |F |F |T |F | - * |T |U |U |T |F | - * |F |T |F |T |T | - * |F |F |F |F |T | - * |F |U |F |U |T | - * |U |T |U |T |U | - * |U |F |F |U |U | - * |U |U |U |U |U | + * |T |T |T |T |F | + * |T |F |F |T |F | + * |T |U |U |T |F | + * |F |T |F |T |T | + * |F |F |F |F |T | + * |F |U |F |U |T | + * |U |T |U |T |U | + * |U |F |F |U |U | + * |U |U |U |U |U | * * 1. The `MISSING` value, when convert to a truth value, becomes a `UNKNOWN`. * 2. `UNKNOWN` truth value, when converting to PartiQL Value, becomes NULL of boolean type.