CREATE library KEY id
FIELDS id: String, title: String, year: Int, pages: Int, rating: Float, topic: String, is_foundational: Bool
CREATE concepts KEY name
FIELDS name: String, introduced_by: String, introduced_year: Int, depends_on: String, is_univalent: Bool, complexity: Float

INSERT id = "lib1", title = "Homotopy Type Theory: Univalent Foundations", year = 2013, pages = 600, rating = 4.8, topic = "Foundations", is_foundational = true INTO library
INSERT id = "lib2", title = "Introduction to HoTT", year = 2018, pages = 320, rating = 4.2, topic = "Introductory", is_foundational = false INTO library
INSERT id = "lib3", title = "Cubical Type Theory Notes", year = 2020, pages = 210, rating = 4.5, topic = "Cubical", is_foundational = false INTO library

INSERT name = "Univalence Axiom", introduced_by = "Voevodsky", introduced_year = 2009, depends_on = "Identity Types", is_univalent = true, complexity = 0.9 INTO concepts
INSERT name = "Higher Inductive Types", introduced_by = "HoTT Book Team", introduced_year = 2013, depends_on = "Inductive Types", is_univalent = false, complexity = 0.7 INTO concepts
INSERT name = "Cubical Paths", introduced_by = "Bezem–Coquand–Huber", introduced_year = 2014, depends_on = "Interval Object", is_univalent = true, complexity = 0.8 INTO concepts

SELECT title, year FROM library WHERE year >= 2013
SELECT name, introduced_by FROM concepts WHERE is_univalent = true
SELECT title, is_foundational FROM library

DELETE "lib2" FROM library
SELECT id, title FROM library WHERE pages > 250

SAVE_AS hott_script_saved.txt
READ_FROM hott_more.txt