Formal Relational Query Languages (形式化查询语言)
Query Language : language in which users request information from the database
Categories of languages :
" Pure language "
Relational Algebra → Procedural language
operations : Union (并) / Intersection (交) / Defference (差) / Cartesian Product (笛卡尔积) / Project (投影) / Select (选择) / Join (连接) / Division (除)
Campatibility (相容性)