更新时间:2022-12-09 13:52:44
每个基表都有一个语句模板(又称为 predicate ),该模板由列名进行参数化,我们将其放入一行或保留一行出去.我们可以为谓词使用简写,就像它的SQL声明一样.
Every base table has a statement template, aka predicate, parameterized by column names, by which we put a row in or leave it out. We can use a shorthand for the predicate that is like its SQL declaration.
// facilitator [facilID] is named [facilFname] [facilLname]
facilitator(facilID, facilLname, facilFname)
// class [classID] named [className] has prime [primeFacil] & backup [secondFacil]
class(classID, className, primeFacil, secondFacil)
将行放在谓词中会给出一个又称命题的陈述.构成真实命题的行将放入表中,而构成虚假命题的行将保留在表中. (因此,一个表说明了每个当前行的命题,而 却没有说明每个不存在的行的命题.)
Plugging a row into a predicate gives a statement aka proposition. The rows that make a true proposition go in a table and the rows that make a false proposition stay out. (So a table states the proposition of each present row and states NOT the proposition of each absent row.)
// facilitator f1 is named Jane Doe
facilitator(f1, 'Jane', 'Doe')
// class c1 named CSC101 has prime f1 & backup f8
class(c1, 'CSC101', f1, f8)
但是每个表表达式值的每个表达式都有一个谓词. SQL的设计方式是,如果表T
和U
包含(分别为T(...)和U(...)的(无NULL的非重复)行,则:
But every table expression value has a predicate per its expression. SQL is designed so that if tables T
and U
hold the (NULL-free non-duplicate) rows where T(...) and U(...) (respectively) then:
T CROSS JOIN U
保留其中T(...)和U(...)T INNER JOIN U ON
condition
保存的行中T(...)AND U(...)AND 条件 T LEFT JOIN U ON
condition
保存其中的行(对于仅U列U1,...)T WHERE
condition
保存的行中T(...)和条件 T INTERSECT U
保留其中T(...)和U(...)T UNION U
保留其中T(...)或U(...)T EXCEPT U
保存的行中T(...)而不是U(...)SELECT DISTINCT * FROM T
保留其中T(...)SELECT DISTINCT
columns to keep
FROM T
保存其中的行,其中VALUES (C1, C2, ...)((
v1
,
v2
, ...), ...)
包含其中T CROSS JOIN U
holds rows where T(...) AND U(...)T INNER JOIN U ON
condition
holds rows where T(...) AND U(...) AND condition
T LEFT JOIN U ON
condition
holds rows where (for U-only columns U1,...)T WHERE
condition
holds rows where T(...) AND condition
T INTERSECT U
holds rows where T(...) AND U(...)T UNION U
holds rows where T(...) OR U(...)T EXCEPT U
holds rows where T(...) AND NOT U(...)SELECT DISTINCT * FROM T
holds rows where T(...)SELECT DISTINCT
columns to keep
FROM T
holds rows whereVALUES (C1, C2, ...)((
v1
,
v2
, ...), ...)
holds rows where也:
(...) IN T
表示T(...)scalar
= T
表示T(标量)(...) IN T
means T(...)scalar
= T
means T(scalar)因此,要进行查询,我们找到了一种方法,该方法使用基表谓词为自然语言中的所需行加谓词,然后以简写方式使用基表谓词,然后在SQL中使用基表名(必要时加上条件).如果我们需要两次提及一个表,那么我们给它取别名.
So to query we find a way of phrasing the predicate for the rows that we want in natural language using base table predicates, then in shorthand using base table predicates, then in SQL using base table names (plus conditions wherever needed). If we need to mention a table twice then we give it aliases.
// natural language
there EXISTS values for classID, primeFacil & secondFacil where
class [classID] named [className] has prime [primeFacil] & backup [secondFacil]
AND facilitator [primeFacil] is named [pf.facilFname] [pf.facilLname]
AND facilitator [secondFacil] is named [sf.facilFname] [sf.facilLname]
// shorthand
there EXISTS values for classID, primeFacil & secondFacil where
class(classID,className, primeFacil, secondFacil)
AND facilitator(pf.facilID, pf.facilLname, pf.facilFname)
AND pf.facilID = primeFacil
AND facilitator(sf.facilID, sf.facilLname, sf.facilFname)
AND sf.facilID = secondFacil
// table names & (MS Access) SQL
SELECT className, pf.facilLname, pf.facilFname, sf.facilLname, sf.facilFname
FROM (class JOIN facilitator AS pf ON pf.facilID = primeFacil)
JOIN facilitator AS sf ON sf.facilID = secondFacil
当一个班级并非总是同时具有两个主持人或某些事物并不总是具有全部名称时,将使用OUTER JOIN. (即,一列可以为NULL.)但是您没有为基表和查询提供特定的谓词,也没有给出有关什么时候可能为NULL的业务规则,因此我假设没有NULL.
OUTER JOIN would be used when a class doesn't always have both facilitators or something doesn't always have all names. (Ie if a column can be NULL.) But you haven't given the specific predicates for your base table and query or the business rules about when things might be NULL so I have assumed no NULLs.
(有关MS Access JOIN括号的信息,请参见此摘自SO 和
(Re MS Access JOIN parentheses see this from SO and this from MS.)