Datalog ­ Logic Programming and Databases - NDBI014

• Title: Datalog - logické programování a databáze
• Guaranteed by: Department of Software Engineering (32-KSI)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2006
• Semester: summer
• E-Credits: 6
• Hours per week, examination: summer s.:2/2, C+Ex [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: cancelled
• Language: Czech
• Teaching methods: full-time
• Teaching methods: full-time
• Additional information: http://datalog.kosik.net/
• Guarantor: RNDr. Antonín Kosík
• Class: Informatika Mgr. - volitelný
• Classification: Informatics > Database Systems
• Pre-requisite : NDBI025

Annotation

English

Last update: RNDr. Antonín Kosík (17.02.2004)

Logics as a data model, rel. algebra and datalog, syntax and semantics of datalog, proof-theoretical and model-theoretical meaning, evaluation, minimal model, extensional and intensional databases, substitution, unification, fixpoint, backward chaining, resolution, evaluation method - bottom-up, transformations - top-down, magic transformation, counting method, static filtering method, negation, stratification, optimalization

Czech

Last update: ()

Logika jako datovy model, proof-theoretical, model-theoretical meaning, výpočet), minimální model, extensionální a intensionální databáze, substituce, unifikace, dokazování v Datalogu, úplnost a bezespornost, fixpoint, evaluační metody - bottom-up, top-down, magické množiny, counting method, static filtering method.

Literature

Last update: T_KSI (20.05.2004)

S. Ceri, G. Gottlob, L.Tanca: Logic programming and Databases, Springer Verlag 1990

J. Pokorny: Dotazovaci jazyky

Stefan Brass: Bottom-Up Query Evaluation in Extended Deductive Databases (habilitacni prace Universitat Hannover)

D. Laurent, V. Phan Luong, N. Spyratos, "Updating intensional predicates in Datalog Databases", Data & Knowledge Engineering 26 (1998), pp. 37-70, (N.H Elsevier)

Syllabus

English

Last update: T_KSI (20.05.2004)

Logic programming and databases- databases-queries-

constraints, Prolog, relational database and prolog, parallelismus,

Logikc as data model - proof-theoretical meaning , model-theoretical

meaning, evaluation, minimal model,

Syntax and Semantics of Datalog

Horn-clause Datalog, Herbrand base, extensional and intensional database,

substitution, unification,

minimal model, fixpoint, backward chaining, resolution,

Optimalization

Evaluation methods - bottom-up, top-down,

Rewriting methods - magic transformation, counting

method, static filtering method, Improved Magic Set Technique, Datalog with Negations, Negation as Failure, Computation of Stable Models

Czech

Last update: RNDr. Antonín Kosík (17.02.2004)

Logické programování a databáze - databáze-dotazy-constraints, Prolog, relační databáze a prolog, paralelismus, Logika jako datový model - význam logických pravidel (proof-theoretical meaning - pravidla jako axiomy, model-theoretical meaning, výpočet), minimální model.

Základy Datalogu - odlišnosti od Prologu, syntax, Herbrandova báze, extensionální a intensionální databáze, substituce, unifikace, Programování v Datalogu, Sémantika Datalogu - interpretace, možné světy, minimální model, dokazování v Datalogu, úplnost a bezespornost, fixpoint, backward chaining, resolution,.

Optimalizace - klasifikace metod, relační algebra, přepis, klasifikace pravidel, Evaluační metody - bottom-up, top-down, Přepisovací metody (logické) - magické množiny, counting method, static filtering method, Přepisování algeber - Extenze Datalogu - built-in predikáty, negace, kompl. objekty, update, nondeterminismus, vágnost.