Cílem projektu je vybudovat do zmiňovaných předmětů dedikovaný server, který by zejména sloužil pro demonstraci paralelismů ve funkcionálním/logickém programování, pro postrelační databáze se potom jedná o instalaci systémů temporálních a deduktivních umožňující plné nasazení ve cvičení a pro řešení studentských projektů v rámci daného předmětu.

Popis anglicky
Project aims at building of a server dedicated to the two courses. It should serve on demonstration of parallel evaluation in functional/logic programming. Post-relational database systems will exploit the server by installation and usage of temporal and deductive database systems during excerises and student projects solved during course attendance.

Klíčová slova
funkcionální jazyky, logické jazyky, paralelní zpracování, temporální/časové databáze, deduktivní databáze

Klíčová slova anglicky
parallel processing, functional languages, logic languages, temporal databases, deductive databases

FR1246/2005/F1

čeština

Kolář Dušan, doc. Dr. Ing. - hlavní řešitel

Ústav informačních systémů
- odpovědné pracoviště (1.1.1989 - nezadáno)
Výzkumná skupina formálních modelů
- interní (3.5.2004 - 31.12.2005)
Ústav informačních systémů
- spolupříjemce (3.5.2004 - 31.12.2005)

Odpovědnost: Kolář Dušan, doc. Dr. Ing.