|
|
|
||
Last update: RNDr. Antonín Kosík (17.02.2004)
|
|
||
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) |
|
||
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 |