CSc 8710 Deductive Databases and Logic Programming

Csc 8710, Deductive Databases and Logic Programming (Fall 2016)

Class Details

Syllabus
Secure Shell Client
Another lightweight SSH slient
TA: Mr. Badri Jayakumar (email: bjayakumar2@student.gsu.edu);
Office Hours: Monday and Tuesday 4-5 PM, Office Location: Room 645, 25 Park Place

Handin Command:

   sudo handin8710 2 file1 file2 file3

Here 2 stands for assignment number. This will change to 3 for assignment 3 and so on. After the assignment number, you can list one or more files including wildcards such as *.sql etc.

Csc 8710, Deductive Databases and Logic Programming (Fall 2016)

Class Details

Handin Command:

Mathematical Logic

Relational Database Querying

Logic Programming and Prolog

Deductive Databases, Recursive Query Evaluation and Optimization

Negation