P064 Query Languages and Relational Theory

Faculty of Informatics
Spring 2000
Extent and Intensity
2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Other types of completion: k (colloquium), z (credit).
Teacher(s)
prof. RNDr. Jaroslav Pokorný, CSc. (lecturer)
Guaranteed by
doc. Ing. Jan Staudek, CSc.
Department of Computer Systems and Communications – Faculty of Informatics
Course Enrolment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
fields of study / plans the course is directly associated with
Syllabus
  • Query languages. Database model as a type system for a query language, expressive power of query languages, relational completeness, extensions: arithmetic, aggregation functions, recursion.
  • Domain Relational Calculus (DRC), save expressions. Equivalence of DRC and relational algebra.
  • Query Transitive closure. Datalog, fixpoint semantics, Datalog with negation, stratification.
  • Implementation techniques of query evaluation. Algorithms for relational operations and their complexity.
  • Query optimization.
  • Text databases, document models, signatures.
Literature
  • Pokorný J., Halaška I., Databázové systémy. Vydavatelství ČVUT, Praha, 1998
  • J. Pokorný, V. Snášel, D. Húsek: Dokumentografické informační systémy. Karolinum - nakladatelství UK, Praha, 1998
  • Pokorný J., Konstrukce databázových systémů. Vydavatelství ČVUT, Praha, 1999
Language of instruction
Czech
Further Comments
The course is taught annually.
The course is taught in blocks.
The course is also listed under the following terms Spring 1998, Spring 1999, Spring 2002.
  • Enrolment Statistics (Spring 2000, recent)
  • Permalink: https://is.muni.cz/course/fi/spring2000/P064