Databases and MySQL on kodkod | Intro Course

A Database and Setting Up MySQL: Tables, Keys, Docker and a Driver

Mon, 01 Jan 0001 00:00:00 +0000

In this lesson

This lesson is built from two chapters, in the same order as the slides:

Chapter 1 — what a Database is: table, row, column, Primary Key and data types
Chapter 2 — setting up MySQL: Docker, Database Client and a Driver

Chapter 1: What a Database Is — Table, Row, Column, Primary Key and Data Types

What will we learn?

Why you need a Database.
What a Relational Database is.
Table, Row, Column.
Primary Key.
Basic Data Types.

What we will not learn here (on purpose)

Here we learn only the basics needed for CRUD: a connection, one table, and creating, reading, updating and deleting. We will not learn JOIN, GROUP BY, HAVING, Sub-Queries, advanced normalization, indexes or Stored Procedures. You will learn those in depth later in the track.

Connecting, a Table and Inserting Data: Connection, CREATE TABLE and INSERT

Mon, 01 Jan 0001 00:00:00 +0000

In this lesson

This lesson is built from two chapters, in the same order as the slides:

Chapter 1 — opening a Connection, checking that the connection works and closing it properly
Chapter 2 — basic SQL: CREATE TABLE and INSERT

Chapter 1: Opening a Connection, Checking That the Connection Works and Closing It Properly

What will we learn?

The life cycle of all work with a database:

Basic SQL: SELECT, WHERE by id and Simple Filtering

Mon, 01 Jan 0001 00:00:00 +0000

What will we learn?

SELECT = the Read of CRUD: reading data from a table.

All the rows: SELECT * FROM students.
Chosen columns: SELECT name, email FROM students.
One row by id: SELECT ... WHERE id = 2.
Simple filtering with WHERE and conditions.
Sorting with ORDER BY.

Why do we need this?

The two most important queries in every API:

Running a Query from Python: execute, Parameters, commit and fetch

Mon, 01 Jan 0001 00:00:00 +0000

What will we learn?

Until now we wrote “manual” SQL in Database Client. Now we connect it to code, following the path the syllabus emphasizes:

Updating and Deleting: UPDATE and DELETE by id — from SQL and from Python

Mon, 01 Jan 0001 00:00:00 +0000

In this lesson

This lesson is built from two chapters, in the same order as the slides:

Chapter 1 — UPDATE by id: updating a record from SQL and from Python
Chapter 2 — DELETE by id: deleting a record from SQL and from Python

Chapter 1: UPDATE by id — Updating a Record from SQL and from Python

What will we learn?

UPDATE = the U of CRUD: changing an existing record.

Full CRUD from Python: a Complete db.py Module and Testing All Four Actions

Mon, 01 Jan 0001 00:00:00 +0000

What will we learn?

At the end of this lesson, as the syllabus defines, we have full CRUD from Python. The lesson assembles all the parts from the previous lessons into one module, db.py, and tests it from end to end.