Keywords

1 Introduction

In recent years, preference queries have received a great attention by many database researchers. Skyline queries [1] are specific example of SQL extensions that allow users to express preference in queries. Based on Pareto dominance relationship, skyline queries select all non-dominated objects based on a multi-criteria comparison. This means that, given a set D of d -dimensional points, a skyline query returns, the skyline S , set of points of D that are not dominated by any other point of D . A point p dominates another point q iff p is better than or equal to q in all dimensions and strictly better than q in at least one dimension. One can see that skyline points are incomparable. Several research studies have been conducted to develop efficient algorithms and introduce multiple variants of skyline queries [25]. However, querying a d -dimensional data sets using a skyline operator may lead to two possible scenarios: (i) a large number of skyline points returned, which could be less informative for users, (ii) a small number of skyline points returned, which could be insufficient for users. To solve the two above problems, various approaches have been proposed to refine the skyline, therefore reducing its size [613], but only very few works exist to relax the skyline in order to increase the number of skyline results [10, 1417]. Goncalves and Tineo [15] propose a flexible dominance relationship using fuzzy comparison operators. This increases the skyline with points that are only weakly dominated by any other point. In [10], Hadjali et al. discuss some ideas of relaxing the skyline. In [14], and taking as starting point the study in [10], we develop an approach, called \(\mathcal {MP}\) 2 \(\mathcal {R}\) (\( \mathcal {M} \)uch \( \mathcal {P} \)referred \( \mathcal {R} \)elation for \( \mathcal {R} \)elaxation), for skyline relaxation. This approach relies on a novel fuzzy dominance relationship Much Preferred (MP) which makes more demanding the dominance between the points of D.

In this paper, we investigate another way of relaxing the skyline S . The idea is to consider that a non-skyline point p still belongs to a fuzzily extended skyline \( S_{FE} \) if p is close to a skyline point q . We then develop an approach, called \(\mathcal {C}\) 2 \(\mathcal {R}\) (\( \mathcal {C} \)loseness \( \mathcal {R} \)elation for \( \mathcal {R} \)elaxation), to enlarging the small skyline with points that are closest to skyline points (keep in mind that those points are ruled out from the skyline when applying the classical Pareto dominance). The approach makes use of a particular appropriate fuzzy “Closeness (C)” relation. Each element in the relaxed skyline obtained \( S_{FE} \) is then associated with a degree (\(\in [0, 1]\)) expressing the extent to which it belongs to \( S_{FE} \). In summary, the main contributions made are as follows:

  • We provide the definition and semantic basis for a relaxed variant of skyline \( S_{FE} \).

  • We develop and implement an algorithm to compute \( S_{FE} \) efficiently.

  • We conduct a set of experiments to study and analyze the relevance and effectiveness of \( S_{FE} \).

  • Finally, we present a comparative study between \( S_{FE} \) and \( S_{Relax} \) (i.e., the relaxed skyline obtained by the \(\mathcal {MP}\) 2 \(\mathcal {R}\) approach of [14]).

The paper is structured as follows: Sect. 2 provides some necessary background on skyline queries and on MP2R-based approach to skyline relaxation. In Sect. 3, we introduce a new approach for skyline relaxation based on fuzzy closeness relationship. An algorithm to efficiently compute \( S_{FE} \) is presented and discussed. Section 4 is devoted to the experimental study. Finally, Sect. 5 concludes the paper and draws some lines for future works.

2 Background

In this section, we recall some notions on skyline queries. Then, we present our MP2R-based approach for Skyline relaxation.

2.1 Skyline Queries

The notion of skyline queries was pioneered in [1]. Subsequently, the interest in this area has exploded: [1] has garnered over 1800 citations (Google Scholar, January 2016). Skyline queries are a specific, yet relevant, example of preference queries. They rely on Pareto dominance principle which can be defined as follows:

Definition 1

Let D be a set of d-dimensional data points and \( u_{i} \) and \( u_{j} \) two points of D . \( u_{i} \) is said to dominate in Pareto sense \( u_{j} \) (denoted \( u_{i}\succ u_{j} \)) iff \( u_{i} \) is better than or equal to \( u_{j} \) in all dimensions and better than \( u_{j} \) in at least one dimension. Formally, we write

$$\begin{aligned} u_{i} \succ u_{j} \Leftrightarrow (\forall k \in \{1,..,d\}, u_{i}[k]\ge u_{j}[k]) \wedge (\exists l\in \{1,..,d\}, u_{i}[l]>u_{j}[l]) \end{aligned}$$
(1)

where each tuple \( u_{i}=(u_{i}[1], u_{i}[2], u_{i}[3], ..., u_{i}[d]) \) with \( u_{i}[k] \) stands for the value of the tuple \( u_{i} \) for the attribute \( A_{k} \).

In (1), without loss of generality, we assume that the largest value, the better.

Definition 2

The skyline of D , denoted by S , is the set of points which are not dominated by any other point.

$$\begin{aligned} u \in S \Leftrightarrow \not \exists u' \in D, u' \succ u \end{aligned}$$
(2)

Skyline queries compute the set of Pareto-optimal tuples in a relation, i.e., those tuples that are not dominated by any other tuple in the same relation.

Example 1

To illustrate the concept of the skyline, let us consider a database containing information on candidates as shown in Table 1. The list of candidates includes the following informations: Code, Age, Management experience (man_exp in years), Technical experience (tec_exp in years) and distance work to Home (dist_wh in Km). Ideally, personnel manager is looking for a candidate with the largest management and technical experience (Max man_exp and Max tec_exp), ignoring other informations. Applying the traditional skyline will returns the following candidates: M\( _{5} \), M\( _{8} \). As can be seen, such results are the most interesting candidates (see Fig. 1).

Table 1. List of candidates
Fig. 1.
figure 1

Skyline of candidates

2.2 MP2R-based Approach for Skyline Relaxation

In [14] we have proposed an approach to relax skyline called \(\mathcal {MP}\) 2 \(\mathcal {R}\). Its relies on a new dominance relationship that allows enlarging the skyline with the most interesting points among those ruled out when computing the initial skyline S. This new dominance relationship uses a fuzzy relation, named“Much Preferred (MP)” to compare two tuples u and \(u'\). So, u is an element of \(S_{relax}\) if there is no tuple \(u'\) \(\in \) U such that \(u'\) is much preferred to u (denoted \(MP(u', u)\)) in all skyline attributes. Formally, we write:

$$\begin{aligned} u\in S_{relax} \Leftrightarrow \not \exists u'\in U, \forall i\in \{1, ..., d\}, MP_{i}(u'_{i},u_{i}) \end{aligned}$$
(3)

where, \( MP_{i} \) is a fuzzy preference relation defined on the domain \(\mathbb {D}_{i}\) of the attribute \(A_{i}\) and \( MP_{i}(u'_{i},u_{i}) \) expresses the extent to which the value \(u'_{i}\) is much preferred to the value \(u_{i}\). Each element u of \(S_{relax}\) is associated with a degree (\(\in [0, 1]\)). The semantics of this relation is represented by the trapezoidal function \((\gamma _{i1}, \gamma _{i2}, \infty , \infty ) \), and denoted \(MP_{i}^{(\gamma _{i1}, \gamma _{i2})}\), see Fig. 2. Figure 3 shows the relaxed version, \(S_{relax}\), of the skyline S of the Example 1.

Fig. 2.
figure 2

\( \mu _{MP_{i}} \) function

Fig. 3.
figure 3

\(S_{relax}\)

3 \(\mathcal {C}\) 2 \(\mathcal {R}\): An Efficient Approach to Enlarging the Skyline

Let \(\mathbb {D}=(\mathbb {D}_{1}, \mathbb {D}_{2}, ..., \mathbb {D}_{d})\) a d -dimensional space where \( \mathbb {D}_{i} \) is the domain attribute of \( A_{i} \) and \( R(A_{1}, A_{2}, ..., A_{d}) \) a relation defined in \( \mathbb {D} \). We assume the existence of a total order relationship on each domain \( \mathbb {D}_{i} \). \( U=(u_{1}, u_{2}, ..., u_{n}) \) is a set of n tuples belonging to a relation R . Let S be the skyline of U and \( S_{FE} \) the relaxed skyline of U computed by \(\mathcal {C}\) 2 \(\mathcal {R}\) approach.

3.1 Principe of the Approach

Our approach relies on the idea of identifying interesting points that are in the neighborhood of skyline points and adding them to the skyline S. Let u be a tuple of \( U-S \), and \( u'\) a tuple of S . Then, \( u \in S_{FE} \) if u is close to \( u' \). We write:

$$\begin{aligned} u\in S_{FE} \Leftrightarrow \exists u'\in S,\;such\,that\;\forall i\in \{1, ..., d\}, (u_{i},u'_{i}) \in C_{i} \end{aligned}$$
(4)

where, \( C_{i} \) is a reflexive, symmetrical approximate indifference (or equality) relation defined on the domain \(\mathbb {D}_{i}\) of the attribute \( A_{i} \) and \( C_{i}(u_{i},u'_{i}) \) expresses the extent to which the value \( u_{i} \) is close to the value \( u'_{i} \). Since \( C_{i} \) is of a gradual nature, each element u of \( S_{FE} \) is associated with a degree (\(\in [0, 1]\)) expressing the extent to which u belongs to \( S_{FE}\). In fuzzy set terms, we write:

$$\begin{aligned} \mu _{S_{FE}}(u) = \max \limits _{u'\in S} \min \limits _{i}\mu _{C_{i}}(u_{i},u'_{i}) \end{aligned}$$
(5)

As for \( C_{i} \) relation on \(\mathbb {D}_{i}\), its semantics can be provided by the formulas (6) (see also Fig. 4). In terms of t.m.f., \(C_{i}\) writes \( (0, 0, \gamma _{i1}, \gamma _{i2}) \), and denoted \(C_{i}^{(\gamma _{i1}, \gamma _{i2})}\). It is easy to check that \(C_{i}^{(0, 0)}\) corresponds to the classical equality “=”.

$$\begin{aligned} \mu _{C_{i}^{(\gamma _{i1},\gamma _{i2})}}(u_{i},u'_{i})=\left\{ \begin{array}{ll} 0 &{} \text{ if } |u_{i}-u'_{i}| \ge \gamma _{i2} \\ 1 &{} \text{ if } |u_{i}-u'_{i}| \le \gamma _{i1} \\ \frac{(\gamma _{i2}-|u_{i}-u'_{i}|)}{\gamma _{i2}-\gamma _{i1}} &{} \text{ else } \end{array} \right. \end{aligned}$$
(6)
Fig. 4.
figure 4

The membership function \( \mu _{C_{i}^{(\gamma _{i1},\gamma _{i2})}} \)

Let \(\gamma = ((\gamma _{11}, \gamma _{12}), \cdots , (\gamma _{d1}, \gamma _{d2}))\) be a vector of pairs of parameters where \(C_{i}^{(\gamma _{i1}, \gamma _{i2})}\) denotes the \(C_i\) relation defined on the attribute \(A_i\) and \(S_{FE}^{(\gamma )}\) denotes the extended skyline computed on the basis of the vector \(\gamma \). One can easily check that the classical Skyline S is equal to \( S_{FE}^{(\mathbf {0})}\), where \( \mathbf {0}=((0, 0), \cdots ,(0, 0)) \).

Definition 3

Let \(\gamma \) and \(\gamma '\) be two vectors of parameters. We say that \(\gamma \ge \gamma '\) if and only if \(\forall i \in \{1,\cdots ,d\}\), \((\gamma _{i1}, \gamma _{i2}) \ge (\gamma _{i1}', \gamma _{i2}')\) (i.e., \(\gamma _{i1} \ge \gamma _{i1}' \wedge \gamma _{i2} \ge \gamma _{i2}'\)).

Proposition 1

Let \(\gamma \) and \(\gamma '\) be two vectors of parameters. The following property holds: \(\gamma \le \gamma ' \Rightarrow S_{FE}^{(\gamma )} \subseteq S_{FE}^{(\gamma ')}\).

Proof

Let \(\gamma \le \gamma '\), one can deduce that \(\forall i, C_{i}^{\gamma }\subseteq C_{i}^{\gamma '}\). Let \(u \in S_{FE}^{(\gamma )}\)

\(\Rightarrow \) \(\exists u'\in S\), \(\forall i\in \{1,\cdots ,d\}\), \( (u_{i},u_{i}')\in C_{i}^{(\gamma _{i1},\gamma _{i2})}\)

\(\Rightarrow \) \(\exists u'\in S\), \(\forall i\in \{1,\cdots ,d\}\), \(\mu _{C_{i}^{(\gamma _{i1},\gamma _{i2})}}(u_{i},u_{i}')>0\)

\(\Rightarrow \) \(\exists u'\in S\), \(\forall i\in \{1,\cdots ,d\}\), \(\mu _{C_{i}^{(\gamma '_{i1},\gamma '_{i2})}}(u_{i},u_{i}')>\mu _{C_{i}^{(\gamma _{i1},\gamma _{i2})}}(u_{i},u_{i}')>0\)

\(\Rightarrow \) \(\exists u'\in S\), \(\forall i\in \{1,\cdots ,d\}\), \((u_{i},u_{i}')\in C_{i}^{(\gamma '_{i1},\gamma '_{i2})}\) \( \Rightarrow \) \( u \in S_{FE}^{(\gamma ')}\)

So we have \(S_{FE}^{(\gamma )} \subseteq S_{FE}^{(\gamma ')}\)    \(\square \)

Lemma 1

Let \(\gamma = ((0, \gamma _{12}), \cdots , (0, \gamma _{d2}))\) and \(\gamma ' = ((\gamma _{11}', \gamma _{12}'), \cdots , (\gamma _{d1}', \gamma _{d2}'))\), the following holds: \(S_{FE}^{(0)} \subseteq S_{FE}^{(\gamma )} \subseteq S_{FE}^{(\gamma ')}\)

Example 2

Let us come back to the skyline calculated in Example 1. Assume that the fuzzy “Closeness” relations corresponding to the skyline attributes (man_exp and tec_exp) are respectively given by:

$$\begin{aligned} \mu _{C_{man\_exp}^{(1/2,2)}}(u,u')=\left\{ \begin{array}{lcl} 1 &{} &{} \text{ if } |u-u'| \le 1/2 \\ 0 &{} &{} \text{ if } |u-u'| \ge 2 \\ (-2|u-u'|+4)/3 &{} &{} \text{ else } \end{array} \right. \end{aligned}$$
(7)
$$\begin{aligned} \mu _{C_{tec\_exp}^{(1/2,4)}}(u,u')=\left\{ \begin{array}{lll} 1 &{} &{} \text{ if } |u-u'| \le 1/2 \\ 0 &{} &{} \text{ if } |u-u'| \ge 4 \\ (-2|u-u'|+8)/7 &{} &{} \text{ else } \end{array} \right. \end{aligned}$$
(8)

Now, applying our approach to relax the skyline S = {M\( _{5} \), M\( _{8} \)} found in Example 1, leads to the following \(S_{FE}\) = {(M\( _{5}, 1\)), (M\( _{8}, 1\)), (M\( _{3}, 0.66\)), (M\( _{10}, 0.66\)), (M\( _{1}, 0.28\))}, see Table 2. One can note that some candidates that were not in S are now elements of \(S_{FE}\) (such M\( _{3}\), M\( _{10}\) and M\( _{1}\)) see Fig. 5. As can be seen, \(S_{FE}\) is larger than S and \( S_{FE} \subseteq S_{relax}\). Let us now take a glance at the content of \(S_{FE}\), one can observe that (i) the skyline elements of S are still elements of \(S_{FE}\) with a degree equal to 1; (ii) Appearance of new elements recovered by our approach whose degrees are less than 1 (such as M\( _{3}\)). Interestingly, the user can select from \(S_{FE}\): (i) the Top-k elements (k is a user-defined parameter), or (ii) the subset of elements, denoted \( (S_{FE})_\sigma \), with a degrees higher than a threshold \(\sigma \) provided by the user. In the context of Example 2, it is easy to check that \(Top-5\) = {(M\( _{5}, 1\)), (M\( _{8}, 1\)), (M\( _{3}, 0.66\)), (M\( _{10}, 0.66\)), (M\( _{1}, 0.28\))} and \( (S_{FE})_{0.66}\) = {(M\( _{5}, 1\)), (M\( _{8}, 1\)), (M\( _{3}, 0.66\)), (M\( _{10}, 0.66\))}.

Table 2. Degrees of the elements of \( S_{FE} \)
Fig. 5.
figure 5

Points retrieved by \( S_{FE} \)

3.2 \( S_{FE} \) Computation

To compute \( S_{FE} \), we proceed in two steps (see Fig. 6). Firstly we compute the skyline S using a slightly modified version of BNL algorithm [14], then we execute our FES algorithm to relax the skyline S (see Algorithm 1).

Fig. 6.
figure 6

Enlarging skyline process

figure a

4 Experimental Study

The goal of this study is to demonstrate the effectiveness of the approach proposed and its ability to relax small skylines with the most interesting tuples. We also compare the results obtained with those computed by the \( \mathcal {MP}\) 2 \(\mathcal {R} \) approach.

4.1 Experimental Environment

We use a Linux OS, on a machine with an i7 processor, a RAM of 8 GB and a 250 GB of disk. Algorithms were implemented with Java. Dataset benchmark is generated using method described in [1] following three distribution schema (correlated, anti-correlated and independent). For each dataset, we consider different sizes (5 K to 750 K). Each tuple contains an integer identifier (4 bytes), 12 decimal fields (96 bytes) with values belonging to the interval [0,1], and a string field with length of 10 characters. Therefore, the size of one tuple is 110 bytes.

4.2 Experimental Results

We vary a collection of parameters that could impact the results. This collection includes the dataset size [D] (5 K, 10 K, 50 K, 100 K, 250 K, 500 K, 750 K), dataset distribution schema [DIS] (independent, correlated, anti-correlated), the number of skyline dimensions [d] (2, 4, 6, 8, 10, 12) and the relaxation thresholds [\(\gamma =(\gamma _{i1},\gamma _{i2})\), i\( \in \{1,\ldots ,d\}\)] where (\( \gamma _{i1},\gamma _{i2}\in \)[0,1] and \( \gamma _{i1}\le \gamma _{i2} \)). The default values of these parameters are D = 5 K; DIS = “Correlated”; d = 2; \( \gamma \)=((0,0.25),(0,0.25)). In our experiment, we consider that the less the value, the better. Also, we address the issue of comparison between \( S_{FE} \) and \( S_{relax} \) in terms of Data distribution scheme [DIS], Number of skyline dimension [d], Data size [D] and Variation of the values of \((\gamma _{i1},\gamma _{i2})\).

\(S_{FE}\) vs \(S_{relax}\) w.r.t [DIS]. Figure 7 shows that the particularity of correlated data minimize the seize of \( S_{FE} \) and \( S_{relax} \). We observe also that \(\mathcal {C}\) 2 \(\mathcal {R}\) approach retrieves fewer tuples than \(\mathcal {MP}\) 2 \(\mathcal {R}\) because it is more demanding when relaxation processes. We note that the execution time of \(\mathcal {C}\) 2 \(\mathcal {R}\), for the three distributions, is largely low compared with the time of \(\mathcal {MP}\) 2 \(\mathcal {R}\) approach.

Fig. 7.
figure 7

\( S_{FE} \) vs \( S_{relax} \) w.r.t [DIS]. (Color figure online)

\(S_{FE}\) vs \(S_{relax}\) w.r.t [d]. When dimensionality increases (from 2 to 12) the size of \( S_{FE} \) and \( S_{relax} \) increases proportionally (see Fig. 8). We also note that \( S_{FE} \) outperforms \( S_{relax} \) in terms on computing time.

Fig. 8.
figure 8

\( S_{FE} \) vs \( S_{relax} \) w.r.t [d] (Color figure online)

\(S_{FE}\) vs \(S_{relax}\) w.r.t [D]. The analysis of Fig. 9 shows that the size of \( S_{FE} \) and \( S_{relax} \) are proportional to the size of the dataset. While in terms of execution time, the computation of \( S_{FE} \) is extremely faster.

Fig. 9.
figure 9

\( S_{FE} \) vs \( S_{relax} \) w.r.t [D] (Color figure online)

As can be seen, this first part of the experimental study shows that \(\mathcal {C}\) 2 \(\mathcal {R}\) approach is better and more optimal than \(\mathcal {MP}\) 2 \(\mathcal {R}\) approach.

Variation of \( (\gamma _{i_{1}},\gamma _{i_{2}}) \) values. Now, we show the influence of the variation of \( {(\gamma _{i_{1}},\gamma _{i_{2}})} \) values on the size and the computation time of \( S_{FE} \) and \( S_{relax} \).The idea is to vary both thresholds. For the sake of simplicity, and since the data are normalized, we will apply the same values of \((\gamma _{1},\gamma _{2})\) for all skyline dimensions. Note that the size of the skyline is equal to 1 and we will analyze the variation of the number of tuples whose degree \( \mu _{S_{FE}}(u)>0\). The following scenarios are worth to be discussed:

Scenario 1: In this scenario, we fix \( \gamma _{i1} \) and vary \( \gamma _{i2} \) to increase the relaxation zone. We observe the following cases:

  • \( \gamma _{i1} = 0 \) and \( \gamma _{i2} \in \) {0; 0.25; 0.5; 0.75; 1} (see Fig. 10)

  • \( \gamma _{i1} = 0.25 \) and \( \gamma _{i2} \in \) {0.25; 0.5; 0.75; 1} (see Fig. 11)

  • \( \gamma _{i1} = 0.5 \) and \( \gamma _{i2} \in \) {0.5; 0.75; 1} (see Fig. 12)

  • \( \gamma _{i1} = 0.75 \) and \( \gamma _{i2} \in \) {0.75; 1} (see Fig. 13)

Fig. 10.
figure 10

Scenario 1: Fix \( \gamma _{i1} \) and vary \( \gamma _{i2} \) (case1) (Color figure online)

Fig. 11.
figure 11

Scenario 1: Fix \( \gamma _{i1} \) and vary \( \gamma _{i2} \) (case2) (Color figure online)

Fig. 12.
figure 12

Scenario 1: Fix \( \gamma _{i1} \) and vary \( \gamma _{i2} \) (case3) (Color figure online)

Fig. 13.
figure 13

Scenario 1: Fix \( \gamma _{i1} \) and vary \( \gamma _{i2} \) (case4) (Color figure online)

The analysis of Fig. 10 shows that the size of \( S_{FE} \) and \( S_{relax} \) increases when the value of \( \gamma _{i2} \) increases. We also note that there are no tuples whose degrees of relaxation is equal to 1 (this is due to the value of \( \gamma _{i1} = 0 \)). In Figs. 11, 12 and 13 we note that the value of \( \gamma _{i2} \) controls the size of relaxation (by \(S_{FE}\) or \(S_{relax}\)). However, we observe the appearance of retrieved tuples with degrees equal 1. It noted that, whatever the value of \( \gamma _{i1} \) and \( \gamma _{i2}\), the \(\mathcal {C}\) 2 \(\mathcal {R}\) is more efficient than \(\mathcal {MP}\) 2 \(\mathcal {R}\) in terms of computation time.

Scenario 2: In this scenario, we vary both thresholds. The obtained results are shown in Fig. 14. The analysis of these curves shows that the relaxation process becomes more permissive when thresholds move away from the origin. Nevertheless, \( S_{FE} \) is always more selective than \( S_{relax} \) on the number of tuples retrieved (i.e., \(|S_{FE}| < |S_{relax}| \))Footnote 1 and more efficient in terms of computation time. The Fig. 15 illustrates the distribution of tuples recovered by \( S_{FE} \) according to their degrees of relaxation.

Fig. 14.
figure 14

Varying \( \gamma _{i1} \) and \( \gamma _{i2} \) (Color figure online)

Fig. 15.
figure 15

Distribution of tuples recovered by \( S_{FE} \) (Color figure online)

Scenario 3: In the previous scenarios, the vector \( \gamma = (\gamma _{i_{1}},\gamma _{i_{2}}) \) is similar when computing \( S_{relax} \) and \( S_{FE} \). Here we will show the impact of using different vectors \( \gamma \) and \( \gamma ' \) respectively for \( S_{FE}\) and \( S_{relax} \). Table 3 summarizes the results obtained. One can observe that \(|S_{FE}| < |S_{relax}| \) if \( \gamma \leqslant \gamma ' \), \(|S_{FE}| > |S_{relax}| \) otherwise (Fig. 16).

Fig. 16.
figure 16

Distribution of tuples recovered by \( S_{FE} \) and \(S_{relax}\) (Color figure online)

Table 3. Impact of the vector \(\gamma \) and \(\gamma '\).

5 Conclusion

In this paper, we addressed the problem of skyline relaxation, especially less skylines. We propose a new approach for relaxing the skyline, called \(\mathcal {C}\) 2 \(\mathcal {R}\). This approach is based on a particular fuzzy Closeness relation whose semantics is a user-defined. In addition, a new algorithm called FES to compute the relaxed skyline is proposed. The experimental study we done has shown that, on the one hand, and in some cases, the \(\mathcal {C}\) 2 \(\mathcal {R}\) approach is more restrictive than \(\mathcal {MP}\) 2 \(\mathcal {R}\) approach when relaxing classic skyline and, on the other hand, the computation cost of \(\mathcal {C}\) 2 \(\mathcal {R}\) is more acceptable. Furthermore, \(\mathcal {C}\) 2 \(\mathcal {R}\) like \(\mathcal {MP}\) 2 \(\mathcal {R}\) involves various parameters, which can be used to control the size and the quality of the relaxed skyline. As for future work, we will consider the \(\mathcal {C}\) 2 \(\mathcal {R}\) approach using a relative fuzzy closeness relation. Then, we will investigate the issue of skyline relaxation in the categorical attributes context.