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