CSc 8710, Deductive Databases and Logic Programming
Fall 2008
-
Syllabus
Logic
- Chapter 1 (pdf)
- Logical Equivalences and Implications
Relational Database Querying
-
RA and DRC Interpreters (includes pdf chapter and other details)
- Safe DRC Expressions (pdf)
- Datalog (pdf)
Datalog Interpreter Documentation
-
OurSQL: SQL Subset Grammar. For your PC,
Download OurSQL.jar.
On tinman, invoke OurSQL using
java OurSQL ~raj/movie
- Homework 1 (Due: Sept. 11, 2008)
IMPORTANT NOTE: Please copy ~raj/.cshrc to your home directory and logout/login
to enable all PATH and CLASSPATH variables to be set to use the
interpreters.
The movie database is available on tinman as ~raj/movie. Also, it is available
at
Download Movie.
SUBMISSION: handin8710 1 file1 file2 ...
Logic Programming and Prolog
- Chapter 2 Definite Logic Programs (pdf)
- Chapter 3 SLD Resolution (pdf)
- Prolog Notes
-
SWI-Prolog Manual
- SWI Prolog Home Page
-
Learn Prolog Now - Online Prolog Book
- MGU Algorithm
- Homework 2 (Due: Sept. 23, 2008)
- Homework 3 (Due: Oct. 9, 2008)
Phase 1: wff(F), orSafetyCheck(F), freeVariables(F,V), limitedVariables(F,V)
Phase 2: maxsc(F,M), safe(F)
Phase 3: schemaCheck(F)
Phase 4: generateDLOG(F,R)
- Homework 4 (Due: Nov. 1, 2008)
Deductive Databases, Recursive Query Evaluation and Optimization
-
Deductive Database (without negation)
Deductive Databases - Negation
-
Negation Notes
-
Negation Survey Paper
Final Exam
- Homework 5 (Due: Dec. 9, 2008)
- Take Home Part (Due: Dec. 9, 2008)
Paraconsistent Relational Data Model
- Paper
- Prolog Implementation of "Fitting" Semantics
Page Maintained by raj@cs.gsu.edu