Databases provide one of the main concrete scenarios for nite-model theory within computer science. This paper presents an informal overview of database theory aimed at nite-model theorists, emphasizing the speciicity of the database area. It is argued that the area of databases is a rich source of questions and vitality for nite-model theory.

primary immunodeficiencies are rare diseases, characterized by an increased susceptibility to infections. early diagnosis and appropriate treatment are critical for reducing morbidity and mortality. given the rarity of these diseases, the awareness of these disorders by physicians is often insufficient, leading to delayed diagnosis and inappropriate treatment which are the major causes of sever...

In order to extend the ability to handle incomplete information in a definite deductive database, a Horn clause based system representing incomplete information as incomplete constants is proposed. By using the notion of incomplete constants the deductive database system handles incomplete information in the form of sets of possible values, thereby giving more information than null values. The ...

Objective: Today, manufacturing companies must pay attention to environmental and social issues throughout the supply chain in order to survive. Many efforts have been made to examine the sustainable supply chain, but the agility of sustainable supply chain has been only observed in very few studies. Therefore, the aim of this study is to present an agility model of sustainable supply chain in ...

A uniform method for proving lower bounds on the computational complexity of logical theories. If we restrict our translation schemes to compositions of projections and joins and our dependencies to EID's, the previous section showed that for X = A, B or C, (X) and (X-EID) are equivalent, because the EID's are basically closed, cf. theorem 21. This is the appropriate framework to compare transf...

Database normalization theory offers formalized guidelines how to reduce data redundancy and thus problems that it causes in databases. More lately, researchers have started to formalize ideas that the problems caused by unwanted dependencies and redundancy can be observed in case of any modular system like software, hardware, or organization. To tackle these problems, they have proposed the th...

learning of abnormalities is a considerable challenge in data mining and knowledge discovery. exceptional phenomena detect among huge records of the database which contains a large number of normal records and very few abnormal ones. this is important to promote confidence to a limited number of records for effective learning of abnormality. in this study, a new approach based on the abnormalit...