Σχεσιακός Λογισμός Ι
- Σχεσιακός Λογισμός Ι: Σχέση μεταξύ σχεσιακής άλγεβρας και σχεσιακού λογισμού, Έννοια της μεταβλητής συστοιχιών, Γραμματική ΒΝF για το λογισμό συστοιχιών, Ελεύθερες και δέσμιες μεταβλητές, Ποσοδείκτες EXISTS και FORALL