Deductive database systems
J Ceddia
6 points * 4 hours per week * Second semester * Caulfield/Peninsula * Prerequisites: COT4230
Information representation using predicate calculus, converting predicate calculus well-formed formulae to clausal form, horn clauses, unification and resolution using horn clauses. Prolog syntax, non-logical predicates. Computational models. Integrity constraints: domain, entity, referential and user-defined - how they are used and implemented. Relational representation using rules. The application of recursive retrieval techniques. Applications in SQL, Prolog, SQL2 and other systems.
Assessment
Examination (2 hours): 50% * Practical work: 50%
Prescribed texts
Ullman J The principles of database and knowledge-based systems vols 1 and 2, Computer Science Press, 1989