CSc 8710, Deductive Databases and Logic Programming
Fall 2010
-
Syllabus
Logic
- Chapter 1 (pdf) - Logic
- Logical Equivalences and Implications
- Homework 1 (Due: September 1, 2010 - Wednesday)
HW 1 Solutions
Relational Database Querying
- RA, DRC and Datalog Interpreters (Lab Manual Chapter)
aql.jar
-
Lab Manual Chapter 2
- Safe DRC Expressions (pdf)
-
OurSQL: SQL Subset Grammar. For your PC,
Download OurSQL.jar.
On tinman, invoke OurSQL using
java OurSQL ~raj/movie
- Homework 2 (Due: September 13, 2010 - Monday)
Problem 1 Solutions,
Problem 2 Solutions,
Problem 3 Solutions.
Logic Programming and Prolog
- Chapter 2 (pdf) - Definite Logic Programs
- Chapter 3 (pdf) - SLD Resolution
-
Prolog Notes
-
SWI-Prolog Manual
- SWI Prolog Home Page
-
Learn Prolog Now - Online Prolog Book
- MGU Algorithm
- Homework 3 (Due: October 1, 2010 - Friday)
- Homework 4 (Due: October 24, 2010 - Sunday)
Deductive Databases, Recursive Query Evaluation and Optimization
-
Deductive Databases (without negation)
- Homework 5 (Due: December 1, 2010)
Deductive Databases - Negation
- Negation Notes
- Negation Survey Paper
- Paraconsistent Data Model Paper
- Practice problems - well founded model
Mining Association Rules
Apriori Algorithm Paper
- Take Home Exam 3 (Due: December 3, 2010)
Page Maintained by raj@cs.gsu.edu