2/2. 4 credit(s) (plus extra credits for completion). Recommended Type of Completion: zk (examination). Alternate Types of Completion: k (colloquium), z (credit).
The course is also offered to the students of the fields other than those the course is directly associated with.
Fields of study the course is directly associated with
there are 23 fields of study the course is directly associated with, display
Course objectives
The course contains basic knowledge of a general connections modelling within a business reality - the so called conceptual modelling.
At the end of this course, students should be able to:
describe particular domain in a well created and well recorded conceptual data model;
recognize well created data model;
understand basics of logical analysis of natural language expressions;
understand principles of constructions and simple type theory within the transparent intensional logic.
Syllabus
The organisation/enterprise data model and its role as a performance specification in projects of IS development and implementation
Data modeling by using relational data model end by using the Chen's ERA model
Logical base of DM, transparent intensional logic (TIL), episthemic base, functional approach, the sorts and the process of sortalization, function construction
Entity sorts, their identifying and definition, relationships and their modeling, expression of the semantics, hierarchy of supertypes and subtypes, the identity problem
Definability and decomposibility of attributes, information capability, binarisation theorem
MATERNA, Pavel, Karel PALA and Jiří ZLATUŠKA. Logická analýza přirozeného jazyka. 1. vyd. Praha: Academia, 1989. 143 s. ISBN 80-200-0027-5. info
Teaching methods
lectures, seminars, group projects
Assessment methods
To the exam a homework is required consisting in data model of a selected organization or in analysis of a selected problem. The exam is written. First part is a test and the second one is creation of data model according to a given description of a situation.