The transformation of a relational database schema into fourth normal form, which minimizes data redundancy, relies on the correct identification of multivalued dependencies. In this work, we study the learnability of multivalued dependency formulas (MVDF), which correspond to the logical theory behind multivalued dependencies. As we explain, MVDF lies between propositional Horn and 2-Quasi-Hor...

Data tables provide a convenient means of representation of descriptive information about objects. They serve also as standard input for data analysis tools or theories. In this paper we focus our attention upon the special class of data tables, namely multivalued information systems introduced by Z. Pawlak and E. Orłowska in the early 80s. The main idea presented in the paper is to interpret m...

Object-oriented Bayesian networks (OOBNs) facilitate the design of large Bayesian networks by allowing Bayesian networks to be nested inside of one another. Weak conditional independence has been shown to be a necessary and sufficient condition for ensuring consistency in OOBNs. Since weak conditional independence plays such an important role in OOBNs, in this paper we establish two useful resu...

Applications of the fixed point theory of multivalued maps can be classified into several areas: (1) Game theory and mathematical economics; (2) Discontinuous differential equations and differential inclusions; (3) Computing homology of maps; (4) Conley index methods in chaotic dynamics; (5) Digital imaging and computer vision. We briefly recall the history of the most classical and well develo...

The viscoelastic character of polymer solutions and melts gives rise to instabilities that are not seen in the flows of Newtonian liquids. In industrial applications such as coating and extrusion, these so-called “elastic” instabilities can impose a limitation on the throughput. Hence, it is important to understand, and if possible, to suppress them. The first instability we study is the phenom...

The fixed points theorems for Rhoades-type contraction mapping were investigated by many authors [1, 5, 8, 10, 13, 16, 22] and the more results on this fields can be found in [2, 4, 9, 11, 15, 23]. Hybrid fixed point theory for nonlinear single-valued and multivalued maps is a new development in the domain of contraction-type multivalued theory (see [3, 7, 10, 12, 14, 17, 18, 20] and references...

In the last decade, there have been many papers dealing with second-order multivalued boundary value problems. We mention the works of Erbe and Krawcewicz [5, 6], Frigon [7, 8], Halidias and Papageorgiou [9], Kandilakis and Papageorgiou [11], Kyritsi et al. [12], Palmucci and Papalini [17], and Pruszko [19]. In all the above works, with the exception of Kyritsi et al. [12], p = 2 (linear differ...

Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlier work we identified a useful family of multi-valued logics: those specified over finite distributive lattices where negation preserves involution, i.e., , , -/.0for every element of the logic. Model-checking over this...

This paper presents a new resilience optimal Byzantine consensus algorithm targeting consortium blockchains. To this end, it first revisits the consensus validity property by requiring that the decided value satisfies a predefined predicate, which does not systematically exclude a value proposed only by Byzantine processes, thereby generalizing the validity properties found in the literature. T...

The aim of this paper is to characterize $3$-dimensional $N(k)$-paracontact metric manifolds satisfying certain curvature conditions. We prove that a $3$-dimensional $N(k)$-paracontact metric manifold $M$ admits a Ricci soliton whose potential vector field is the Reeb vector field $xi$ if and only if the manifold is a paraSasaki-Einstein manifold. Several consequences of this result are discuss...