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