| 
        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. 
                
 
            
         
         
         
     |