Akademik Veri Yönetim Sistemi
Bilgi Sistemleri ve Veritabanları için Lojiğe Giriş 1.1 Lojik ve Veritabanı 1.2 Lojik ve Bilgi Sistemleri 2. Lojiğin Temel Kavramları 3. Bilgi Sistemlerindeki Geçici Lojik 3.1 Verilerin Güncellenmesi ile Oluşan Değişimlerin Lojiksel Değerlendirilmesi / Logical reviewing of changings occur because of updating data. 3.2 Lojiksel Olarak Bilgi Sistemlerinin Doğruluğunun Korunması / Protection to accuracy of information systems in logical. 4. Veritabanı Kullanılan Lojiksel İşlemler / Logical operations used in databases 4.1 Lojiksel Kuralların Veritabanındaki Önkoşullarda Uygulanması 4.2 Veritabanından Oluşturulan Özet Bilgilerin Lojiksel Temsili 4.3 İşlemler Arasındaki Geçişlerdeki Lojiksel Aşamaların Kontrolu 5. Kavramsal Veri Modellemeleri İçin Tanımlanan Lojikler 5.1 Kullanıcı İsteklerinin Veritabanı Sistemlerinde Lojiksel Olarak İfade Edilme Esasları 5.2 İşlemlerin Lojiksel Akış Diyagramları 5.3 Önceliklerin Modellenmesi 6. Eksik Bilgiler İçin Lojiksel Yaklaşımlar 7. Dinamik Veritabanlarında var olan Lojiksel Temeller