При правильной комбинации $ lookup, $ project и $ match вы можете присоединиться к нескольким таблицам по нескольким параметрам. Это связано с тем, что они могут быть связаны несколько раз.
Предположим, что мы хотим сделать следующее ( reference )
SELECT S.* FROM LeftTable S
LEFT JOIN RightTable R ON S.ID =R.ID AND S.MID =R.MID WHERE R.TIM >0 AND
S.MOB IS NOT NULL
Шаг 1: Свяжите все таблицы
, вы можете $ lookup сколько угодно таблиц.
$ lookup - по одному для каждой таблицы в запросе
$ unwind - поскольку данные денормализированы правильно, иначе они завернуты в массивы
Python code ..
db.LeftTable.aggregate([
# connect all tables
{"$lookup": {
"from": "RightTable",
"localField": "ID",
"foreignField": "ID",
"as": "R"
}},
{"$unwind": "R"}
])
Шаг 2: Определите все условные выражения
$ project: определите здесь все условные операторы и все переменные, которые вы хотите выбрать.
Python Code ..
db.LeftTable.aggregate([
# connect all tables
{"$lookup": {
"from": "RightTable",
"localField": "ID",
"foreignField": "ID",
"as": "R"
}},
{"$unwind": "R"},
# define conditionals + variables
{"$project": {
"midEq": {"$eq": ["$MID", "$R.MID"]},
"ID": 1, "MOB": 1, "MID": 1
}}
])
Шаг 3: Присоедините все условные обозначения
$ match - присоедините все условия, используя OR или AND и т. д. Их могут быть кратные ,
$ project: undefine all conditionals
Python Code ..
db.LeftTable.aggregate([
# connect all tables
{"$lookup": {
"from": "RightTable",
"localField": "ID",
"foreignField": "ID",
"as": "R"
}},
{"$unwind": "$R"},
# define conditionals + variables
{"$project": {
"midEq": {"$eq": ["$MID", "$R.MID"]},
"ID": 1, "MOB": 1, "MID": 1
}},
# join all conditionals
{"$match": {
"$and": [
{"R.TIM": {"$gt": 0}},
{"MOB": {"$exists": True}},
{"midEq": {"$eq": True}}
]}},
# undefine conditionals
{"$project": {
"midEq": 0
}}
])
Практически любая комбинация таблиц, условных обозначений и объединений может быть выполнена таким образом ,
Когда выражения используют вентиль NOT в качестве шлюза с несколькими входами.
g NOT (a AND b AND c)
Если мы подставим Q = (a AND b AND c), у вас будет
g NOT Q
Что не имеет смысла? И, вероятно, на что жалуется GHDL.
Вы хотите
g OR NOT (a AND b AND c)
или
g AND NOT (a AND b AND c)
На основании вашего комментария новый код может выглядеть следующим образом. Вам нужно будет подтвердить логику, но она должна скомпилироваться.
library ieee;
use ieee.std_logic_1164.all;
use ieee.numeric_std.all;
ENTITY decoder IS PORT
(c, b, a, g : IN std_logic;
y : OUT std_logic_vector(7 DOWNTO 0));
END decoder;
ARCHITECTURE beh_decoder OF decoder IS
BEGIN
y <= "10000000" WHEN (g AND NOT (a AND b AND c)) ELSE
"01000000" WHEN ((a AND g) AND NOT (b AND c)) ELSE
"00100000" WHEN ((b AND g) AND NOT (a AND c)) ELSE
"00010000" WHEN ((a AND b AND g) AND NOT c) ELSE
"00001000" WHEN ((c AND g) AND NOT (a AND b)) ELSE
"00000100" WHEN ((a AND c AND g) AND NOT b) ELSE
"00000010" WHEN ((b AND c AND g) AND NOT a) ELSE
"00000001" WHEN ((a AND g) AND NOT (b AND c)) ELSE
"00000000";
END ARCHITECTURE beh_decoder;