... t 123 .B j t 123 .C k θ 2 t 123 .D l } ={t 12 |∃t 1 ∈q,∃t 2 ∈{u 12 |∃u 1 ∈r,∃u 2 ∈s u 12 .R + =u 1 u 12 .S + =u 2 u 1 .C k θ 2 u 2 .D l },t 12 .Q + =t 1 t 12 .R + ∪S + =t 2 t 12 ... triển của các gói ứng dụng số như xử lý văn bản, bảng tính điện tử, văn phòng xuất bản, hệ quản lý cơ sở dữ liệu, máy tính trợ giúp công nghệ phần mềm.... Trước khi máy tính hóa cơ sở dữ liệu ... 12 |∃t 1 ∈(q|><|r),∃t 2 ∈s t 12 .Q + ∪R + = t 1 t 12 .S + = t 2 t 12 .A i θ 1 t 12 .B j } ={t 12 |∃t 1 ∈{u 12 |∃u 1 ∈q,∃u 2 ∈r u 12 .Q + =u 1 u 12 .R + =u 2 u 1 .C k θ 2...