This article presents the Two Variable Per Inequality abstract domain (TVPI domain for short). This so-called weakly-relational domain is able to express systems of linear inequalities where each inequality has at most two variables. The domain represents a sweet-point in the performance-cost tradeoff between the faster Octagon domain and the more expressive domain of general convex polyhedra. ...

This article presents the Two Variable Per Inequality abstract domain (TVPI domain for short). This so-called weakly-relational domain is able to express systems of linear inequalities where each inequality has at most two variables. The domain represents a sweet-point in the performance-cost tradeoff between the faster Octagon domain and the more expressive domain of general convex polyhedra. ...

The division operator is well known in the context of fuzzy relational databases. Fuzzy approaches to this operator can be found in the literature to solve flexible queries: these approaches try to compute to which extent each element of a candidate set is connected with a given (fuzzy) set of elements. This kind of queries is also interesting in the framework of fuzzy object databases, where t...

Clustering of web user sessions is extremely significant to comprehend their surfing activities on the internet. Users with similar browsing behaviour are grouped together, and further analysis of discovered user groups by domain experts may generate usable and actionable knowledge. In this paper, a conglomerative clustering approach is presented to identify web user session clusters from web s...

In this paper we introduce the concepts of a multimode multi-relational fuzzy network and a regular fuzzy equivalence on such a network, and provide procedures for computing the greatest regular fuzzy and crisp equivalences contained in a given tuple of fuzzy equivalences.

Fuzzy relational formal concept analysis (FRCA) mines collections of fuzzy lattices from xmlns:xlink="http://www.w3.org/1999/xlink">fuzzy context families , which are special datasets made contexts and relations between objects different types. Mainly, FRCA consists the following procedures...

Fuzzy relational models have been widely investigated and found to be an efficient tool for the identification of complex systems. However, little attention has been given to the linguistic interpretation of these models. The use of relational models is recommended since their development follows a natural sequence based on the original ideas about fuzzy sets and fuzzy logic, involving the esti...

Though the data integration problem of relational databases has been well studied, little work addresses the problem in the context of fuzzy relational databases. The fuzzy relational model relies on the specification of either a similarity relation or a proximity relation for each scalar domain in the fuzzy database. Without the constraint of max-min transitivity, proximity relations can be de...