A structure M is pregeometric if the algebraic closure is a pregeometry in all M ′ elementarily equivalent to M . We define a generalisation: structures with an existential matroid. The main examples are superstable groups of U-rank a power of ω and d-minimal expansion of fields. Ultraproducts of pregeometric structures expanding a field, while not pregeometric in general, do have an unique exi...

Background and Objectives: Infertility, particularly female infertility, can threat women's psychological health. Spiritual health can play a significant role in increasing people's abilities especially in tough conditions. The aim of this study was to investigate the effect of psychotherapy on existential health in infertile women. Methods: The study population of this experimental controlled...

Background: Nurses' direct exposure to COVID-19 patients and resulting health anxiety can threaten their performance of human and moral duties. Materials and Methods: This work was a descriptive correlational study. The statistical population was all nurses working in the intensive care unit of COVID-19 patients in Ardabil hospitals in the 2021 year, from which 150 people were selected by con...

We investigate the size of conjunctive query rewritings over OWL2QL ontologies of depth 1 and 2 by means of a new formalism, called hypergraph programs, for computing Boolean functions. Both positive and negative results are obtained. All conjunctive queries over ontologies of depth 1 have polynomial-size nonrecursive datalog rewritings; tree-shaped queries have polynomial-size positive existen...

The relevance of an existential approach to the issue students’ educational success analyzed. problem related contradiction between needs a young person and need achieve social success, including in activities, formulated. socio­economic context requirements imposed on (the ability generate income, demand labor market, human capital) discussed. At same time, is not limited academic achievements...

Objectives:This study used a quasi-experimental method inthe pretest-posttest to evaluate the efficacy of cognitive-existential group therapy on hopefulness in parents of children with cancer. Methods:Thirty parents (24 to 54 years old) of children with cancer were divided randomly into experimental and control groups. Both groups were assessed with Miller Hope Scale (1988), as pre-test. The...

It is shown that the existential theory of G with rational constraints, over an HNN-extension G = 〈H, t; tat = φ(a)(a ∈ A)〉 is decidable, provided that the same problem is decidable in the base group H and that A is a finite group. The positive theory of G is decidable, provided that the existential positive theory of G is decidable and that A and φ(A) are proper subgroups of the base group H w...

We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extensional database (EDB) and existential quantification in intensional database (IDB) rules. Semantic query optimization is integrated as part of the query processing module. The system also deals with efficient rule manag...