Lecturer(s)
|
-
Laštovička Jan, Mgr. Ph.D.
-
Urbanec Tomáš, Mgr.
|
Course content
|
Formal model for relational database system: domains, attributes, relational schema, relation. Operations with relations; boolean and special operations. Relational query languages: relational algebra, relational calculus, domain calculus; their mutual relationship and relational completeness. Logic query languages: DATALOG; predicates, rules and queries; relationship of relational algebra and DATALOG; recursive rules and their semantics, fixed points. Dependencies in data: functional dependencies, relationship to predicate logic, semantic entailment, Armstrong axioms and completeness of the inference. Advanced topics: RAP sequences and derivation DAGs; algorithmic aspects of semantic entailment; minimal base of functional dependencies and its computation. Further types of dependencies and normalization: multifunctional dependencies, join dependencies; Second and third normal forms of relational schemes. Boyce-Codd normal form. Lossless decomposition of relations.
|
Learning activities and teaching methods
|
Lecture, Demonstration
|
Learning outcomes
|
The students become familiar with advanced concepts of database systems.
2. Comprehension. Understand basic concepts of database systems.
|
Prerequisites
|
unspecified
|
Assessment methods and criteria
|
Oral exam, Written exam
Active participation in class. Completion of assigned homeworks. Passing the oral (or written) exam.
|
Recommended literature
|
-
ATZENI P., BATINI C., DE ANTONELLIS V. (1993). Relational Database Theory: A Comprehensive Introduction. Addison Wesley.
-
Braharu D. (2018). Database For Beginners: Relational Database Concepts and Model (Programming courses). Independently published.
-
Connolly T., Begg C. (2002). Database Systems. A Practical Approach to Design, Implementation and Management, 3rd edition. Addison Wesley.
-
Johnson James L. (1997). Database Models, Languages, Design. Oxford University Press.
-
Maier D. (1983). Theory of Relational Databases. Computer Science Press, Rockville.
-
Pokorný J. (1992). Databázové systémy a jejich použití v informačních systémech. Academia.
-
Simovici D. A., Tenney R. L. (1995). Relational Database Systems. Academic Press.
|