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.
Poslední úprava: 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
Literatura
Poslední úprava: 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)
Sylabus -
Poslední úprava: 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,.
