Nesting of relations is very much essential for many database representations in reality. Nesting of relations tends to reduce the data redundancy in the relations. It helps in dropping certain constraints in normalization which tend to omit certain sensitive data when tried to be normalized. Query processing or conversion of data repositories, as required, can be easily being tackled by the ai...

We establish a general fixed point theorem for multivalued maps defined on cones in Banach spaces. Applications to single and multivalued equations are presented. 2000 Mathematics Subject Classification: 47H10, 45M20.

This paper describes a new signed-digit full adder (SDFA) circuit consisting of resonant-tunneling diodes (RTDs) and metal-oxide semiconductor field effect transistors (MOSFETs). The design is primarily based on a multiple-valued logic literal circuit that utilizes the folded-back I-V (also known as negative differential-resistance, NDR) characteristics of RTDs to compactly implement its gated ...

All practical digital circuits are usually a mixture of combinational and sequential logic. Flip–flops are essential to sequential logic therefore fuzzy flip–flops are considered to be among the most essential topics of fuzzy digital circuit. The concept of fuzzy digital circuit is among the most interesting applications of fuzzy sets and logic due to the fact that if there has to be an ultimat...

Functional dependencies, a notion originated in Relational Database Theory, are known to admit interesting characterizations in terms of Formal Concept Analysis. In database terms, two successive, natural extensions of the notion of functional dependency are the socalled degenerate multivalued dependencies, and multivalued dependencies proper. We propose here a new Galois connection, based on a...

Fuzzy Logic was initiated in 1965 [1], [2], [3], by Lotfi A. Zadeh , professor for computer science at the University of California in Berkeley. Basically, Fuzzy Logic (FL) is a multivalued logic, that allows intermediate values to be defined between conventional evaluations like true/false, yes/no, high/low, etc. Notions like rather tall or very fast can be formulated mathematically and proces...

The study of fixed points for multivalued contractions and nonexpansive maps using the Hausdorff metric was initiated by Markin [17]. Later, an interesting and rich fixed point theory for such maps has been developed. The theory of multivalued maps has applications in control theory, convex optimization, differential inclusions, and economics (see, e.g., [3, 8, 16, 22]). The theory of multivalu...

In this paper, we introduce a new class of bifunction variational inequalities, which is called the multivalued mixed quasi bifunction variational inequalities. Using the auxiliary principle technique, we suggest and analyze a proximal point method for solving the multivalued mixed quasi bifunction variational inequalities. It is shown that the convergence of the proposed method requires only p...

The use of multivalued controls derived from a special maximal monotone operator are studied in this note. Starting with a strictly passive linear system (with possible parametric uncertainty and external disturbances) a multivalued control law is derived, ensuring regulation of the output to a desired value. The methodology used falls in a passivity-based control context, where we study how th...