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
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 - Czech
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 -
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,
method, static filtering method, Improved Magic Set Technique, Datalog with Negations, Negation as Failure, Computation of Stable Models
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,.