Intelligence |> Huxley |>
Referencing
Note: This document is for the sentences in a natural language input prior to the one specifying what you’re inquiring for. To understand the high level of what this fits into, start here.
Contents
Usage
When a sentence’s root is a non-auxiliary verb (meaning the point of the sentence isn’t about something’s ontology), the sentence is then interpreted as an ACCORDING TO statement. After reading the entire natural language input, all referenced modules are then inserted at the start of the generated SQL via ACCORDING TO statements.
Based on andrea, fox_news_module. Following from yev, random_click. Starting at fox...
Huxley would take the above referenced andrea/fox_news_module and yev/random_click then insert at the beginning of the implied SQL.
ACCORDING TO andrea/fox_news_module
ACCORDING TO yev/random_click
FROM fox
|> ...
Order design
The reason for this design can be understood with the following funny quirk about famous problems in mathematics. Suppose a math conjecture is presented without being proven, left “unsolved” for hundreds of years, then finally shown to be true via formal proof. Now we know the conjecture is true, we must then assume at the time of stating the conjecture in the first place the statement was true!
As a historical example of what’s being referred to above, consider Fermat’s Last Theorem. While Fermat claimed to have a marvellous proof for the Pythagorean-inspired statement, he didn’t deliver anything that’d suffice as proof for his assertion being anything more than a conjecture. This uncertainty of truthfulness, in fact, was what led to various branching off conjectures to be formed based on someone else eventually solving Fermat’s problem.
Putting aside the tools Wiles’ used to make his proof, when his work was decreed as having confirmed Fermat’s conjecture, we were then able to regard his statement as being true from that point onwards. Likewise, if Fermat were to have the proof and confirmation at hand at the time of defining it, then people in his time would have also been able to regard his statement as being true.
Following this, when a module is implicitly invoked in natural language, it’s inserted to the beginning of the generated SQL. While you could technically embed an ACCORDING TO inside a defined function from within an imported module to extend the context while out of context, this should be considered an anti-pattern.