File notes/latex/packages.sty changed (mode: 100644) (index a27f5f7..8b7fbfe) |
4 |
4 |
%\setmonofont{Latin Modern Mono Light} |
%\setmonofont{Latin Modern Mono Light} |
5 |
5 |
%\setmonofont[SmallCapsFont={Latin Modern Mono Caps}]{Latin Modern Mono Light} |
%\setmonofont[SmallCapsFont={Latin Modern Mono Caps}]{Latin Modern Mono Light} |
6 |
6 |
%\newfontfamily\symb{DejaVu Sans} |
%\newfontfamily\symb{DejaVu Sans} |
|
7 |
|
\setmonofont{FreeMono} |
|
8 |
|
% Inconsolata : Unfortunately, bold, italics missing, and no "_" character. |
|
9 |
|
% Cf. https://www.levien.com/type/myfonts/inconsolata.html |
|
10 |
|
% and |
|
11 |
|
% https://github.com/DeLaGuardo/Inconsolata-LGC |
|
12 |
|
% though. |
7 |
13 |
|
|
8 |
14 |
%\usepackage[table]{xcolor} |
%\usepackage[table]{xcolor} |
9 |
15 |
\usepackage{xunicode} |
\usepackage{xunicode} |
|
28 |
34 |
pdfinfo={ |
pdfinfo={ |
29 |
35 |
pdfcopyright={Creative Commons Attribution 4.0 International License} |
pdfcopyright={Creative Commons Attribution 4.0 International License} |
30 |
36 |
} |
} |
31 |
|
} |
|
|
37 |
|
} |
File notes/lectures_notes.md changed (mode: 100644) (index 15d6c5c..3a71369) |
... |
... |
The focus will be on design, but we will have to do a little bit of everything. |
242 |
242 |
|
|
243 |
243 |
Refer to the ["The cycle of design" figure](#fig:cycle). |
Refer to the ["The cycle of design" figure](#fig:cycle). |
244 |
244 |
|
|
245 |
|
Add a line from SQL to Program, a line from NoSQL to CLI. |
|
246 |
|
Make the arrow from Bus. Statements to NoSQL dashed? |
|
247 |
|
|
|
248 |
245 |
--- |
--- |
249 |
246 |
|
|
250 |
247 |
## An Example |
## An Example |
|
... |
... |
Cf. [@Textbook6, 5.1.1], [@Textbook7, 7.1.1] |
1658 |
1655 |
|
|
1659 |
1656 |
> What is the email address of an author of the XIXth century? |
> What is the email address of an author of the XIXth century? |
1660 |
1657 |
|
|
1661 |
|
### Comparison with unknown values {truth_tables} |
|
|
1658 |
|
### Comparison with unknown values {#truth-tables} |
1662 |
1659 |
|
|
1663 |
1660 |
If `NULL` is involved in a comparison, the result evaluates to "**U**nknown". |
If `NULL` is involved in a comparison, the result evaluates to "**U**nknown". |
1664 |
1661 |
|
|
|
... |
... |
The following links could be useful: |
2021 |
2018 |
mysql > |
mysql > |
2022 |
2019 |
~~~ |
~~~ |
2023 |
2020 |
|
|
|
2021 |
|
#. Now, move on to ["Creating an User"](#creating-an-user). |
2024 |
2022 |
|
|
2025 |
2023 |
#### Installing MySQL on macOS |
#### Installing MySQL on macOS |
2026 |
2024 |
|
|
|
... |
... |
You are now logged as root in your database management system, you should see a |
2040 |
2038 |
mysql > |
mysql > |
2041 |
2039 |
~~~ |
~~~ |
2042 |
2040 |
|
|
|
2041 |
|
Now, move on to ["Creating an User"](#creating-an-user). |
|
2042 |
|
|
|
2043 |
|
|
2043 |
2044 |
#### Installing MariaDB on Linux |
#### Installing MariaDB on Linux |
2044 |
2045 |
|
|
2045 |
|
#. Install, through your standard package management system (`apt` or `aptitude` for debian-based systems, `pacman` for Arch Linux, etc.), the packages `mysql-client` and `mysql-server` as well as their dependencies^[Yes, the package is called `mysql-server`, but it actually install the package `mariadb-server-10.1`… So don't be confused: *we are, indeed, installing MariaDB*!]. |
|
|
2046 |
|
#. Install, through your standard package management system (`apt` or `aptitude` for debian-based systems, `pacman` for Arch Linux, etc.), the packages `mysql-client` and `mysql-server` (or `default-mysql-client` and `default-mysql-server`) as well as their dependencies^[Yes, the package is called `mysql-server`, but it actually install the package `mariadb-server-10.3` or higher… So don't be confused: *we are, indeed, installing MariaDB*!]. |
2046 |
2047 |
#. Open a terminal and type |
#. Open a terminal and type |
2047 |
2048 |
|
|
2048 |
2049 |
~~~{.bash} |
~~~{.bash} |
2049 |
2050 |
/etc/init.d/mysql status |
/etc/init.d/mysql status |
2050 |
2051 |
~~~ |
~~~ |
|
2052 |
|
|
|
2053 |
|
or, as root, |
|
2054 |
|
|
|
2055 |
|
~~~{.bash} |
|
2056 |
|
service mysql status |
|
2057 |
|
~~~ |
2051 |
2058 |
|
|
2052 |
|
to see if MySQL is running: if you read |
|
|
2059 |
|
to see if MySQL is running: if you read something containing |
2053 |
2060 |
|
|
2054 |
2061 |
~~~{.bash} |
~~~{.bash} |
2055 |
2062 |
Active: active (running) |
Active: active (running) |
|
... |
... |
mysql > |
2060 |
2067 |
~~~{.bash} |
~~~{.bash} |
2061 |
2068 |
service mysqld start |
service mysqld start |
2062 |
2069 |
~~~ |
~~~ |
|
2070 |
|
|
|
2071 |
|
and try again. |
2063 |
2072 |
|
|
2064 |
2073 |
#. As root, type in your terminal |
#. As root, type in your terminal |
2065 |
2074 |
|
|
|
... |
... |
mysql > |
2082 |
2091 |
MariaDB [(none)]> |
MariaDB [(none)]> |
2083 |
2092 |
~~~ |
~~~ |
2084 |
2093 |
|
|
2085 |
|
### Creating an user |
|
|
2094 |
|
#. Now, move on to ["Creating an User"](#creating-an-user). |
|
2095 |
|
|
|
2096 |
|
|
|
2097 |
|
### Creating an user {#creating-an-user} |
2086 |
2098 |
|
|
2087 |
2099 |
This step will create a non-root user^[By default, MySQL and MariaDB only create a root user with all privileges and no password, but we added a password at the previous step.] and grant it some rights. Copy-and-paste or type the following three commands, one by one (that is, enter the first one, hit "enter", enter the second, hit "enter", etc.): |
This step will create a non-root user^[By default, MySQL and MariaDB only create a root user with all privileges and no password, but we added a password at the previous step.] and grant it some rights. Copy-and-paste or type the following three commands, one by one (that is, enter the first one, hit "enter", enter the second, hit "enter", etc.): |
2088 |
2100 |
|
|
|
... |
... |
Solution +.# |
2646 |
2658 |
- `FALSE AND UNKNOWN`{.sqlmysql} → `FALSE`{.sqlmysql} |
- `FALSE AND UNKNOWN`{.sqlmysql} → `FALSE`{.sqlmysql} |
2647 |
2659 |
- The other cases can be deduced by symmetry. |
- The other cases can be deduced by symmetry. |
2648 |
2660 |
|
|
2649 |
|
For a more compact presentation, refer to (#truth_tables). |
|
|
2661 |
|
For a more compact presentation, refer to (#truth-tables). |
2650 |
2662 |
|
|
2651 |
2663 |
Solution +.# |
Solution +.# |
2652 |
2664 |
|
|