Search

Classical data cleaning performs a minimal set of operations on the data to satisfy the given integrity constraints. Often, this minimization is equivalent to vertex cover, for example when tuples can be removed due to the violation of functional dependencies. Classically, the uncertainty of tuples and constraints is ignored. We propose not to view data as dirty but the uncertainty information about data. Since probabilities are often unavailable and their treatment is limited due to correlations in the data, we investigate a qualitative approach to uncertainty. Tuples are assigned degrees of possibility with which they occur, and constraints are assigned degrees of certainty that say to which tuples they apply. Our approach is non-invasive to the data as we lower the possibility degree of tuples as little as possible. The new resulting qualitative version of vertex cover remains NP-hard. We establish an algorithm that is fixed-parameter tractable in the size of the qualitative vertex cover. Experiments with synthetic and real-world data show that our algorithm outperforms the classical algorithm proportionally to the available number of uncertainty degrees. Based on the novel mining of the certainty degrees with which constraints hold, our framework becomes applicable even when uncertainty information is unavailable.

Similar to the construction of ordinal sums of overlap functions, Baczynski et al. introduced two new kinds of ordinal sums of fuzzy implications without additional restrictions on summands in 2017. In this paper, based on the ordinal sum of fuzzy implications with the first method, we discuss its basic properties, such as iterative Boolean law, right ordering property and strong boundary condition. Meanwhile, we give characterizations of such ordinal sum of fuzzy implications that is a QL-implication constructed from tuples ( O , G , N ⊤ ) or a D-implication derived from grouping function G, and show some conclusions about its relations with ( G , N ) - and R O -implications. Moreover, we study the distributivity of such ordinal sum of fuzzy implications over a class of overlap and grouping functions. More specifically, we give necessary and sufficient conditions under which this ordinal sum of fuzzy implications is distributive over overlap and grouping functions satisfying some conditions.

Although there have been many fuzzy or probabilistic relational database models proposed for representing and handling imprecise and uncertain information of objects in real-world applications, models combining the relevance and strength of both fuzzy set theory and probability theory appear sporadic. In this paper, we propose a new fuzzy and probabilistic relational database model where the imprecision of an attribute value is represented by a fuzzy set and the uncertainty of a relational tuple is represented by a probability interval. The mass assignment theory is employed to deal with the challenge of integration and computation of both fuzzy sets and probabilities in the same model. The conjunction and disjunction strategies to combine imprecise and uncertain information are introduced. Then the fundamental concepts of the classical relational database model are extended and generalized in this new model. The syntax and semantics of the selection operation are formally defined. Finally, the other important algebraic operations on imprecise attributes and uncertain tuples are developed.

Relation extraction is one of the most important parts of natural language processing. It is the process of extracting relationships from a text. Extracted relationships actually occur between two or more entities of a certain type and these relations may have different patterns. The goal of the paper is to find out the noisy patterns for relation extraction of Bangla sentences. For the research work, seed tuples were needed containing two entities and the relation between them. We can get seed tuples from Freebase. Freebase is a large collaborative knowledge base and database of general, structured information for public use. But for Bangla language, there is no available Freebase. So we made Bangla Freebase which was the real challenge and it can be used for any other NLP based works. Then we tried to find out the noisy patterns for relation extraction by measuring conflict score.

Screening mammograms is the gold standard for detecting breast cancer early. While a good amount of work has been performed on mammography image classification, especially with deep neural networks, there has not been much exploration into the confidence or uncertainty measurement of the classification. In this paper, we propose a confidence measure-based evaluation metric for breast cancer screening. We propose a modular network architecture, where a traditional neural network is used as a feature extractor with transfer learning, followed by a simple Bayesian neural network. Utilizing a two-stage approach helps reducing the computational complexity, making the proposed framework attractive for wider deployment. We show that by providing the medical practitioners with a tool to tune two hyperparameters of the Bayesian neural network, namely, fraction of sampled number of networks and minimum probability, the framework can be adapted as needed by the domain expert. Finally, we argue that instead of just a single number such as accuracy, a tuple (accuracy, coverage, sampled number of networks, and minimum probability) can be utilized as an evaluation metric of our framework. We provide experimental results on the CBIS-DDSM dataset, where we show the trends in accuracy-coverage tradeoff while tuning the two hyperparameters. We also show that our confidence tuning results in increased accuracy with a reduced set of images with high confidence when compared to the baseline transfer learning. To make the proposed framework readily deployable, we provide (anonymized) source code with reproducible results at https://git.io/JvRqE., Comment: To be presented at the IEEE ICHI 2020

In an intersection join, we are given t sets R 1 , . . . , R t of axis-parallel rectangles in R d , where d ≥ 1 and t ≥ 2 are constants, and a join topology which is a connected undirected graph G on vertices 1 , . . . , t . The result consists of tuples ( r 1 , . . . , r t ) ∈ R 1 × . . . × R t where r i ∩ r j ≠ ∅ for all i , j connected in G. A structure is feasible if it stores O ˜ ( n ) words, supports an update in O ˜ ( 1 ) amortized time, and can enumerate the join result with an O ˜ ( 1 ) delay, where n = ∑ i | R i | and O ˜ ( . ) hides a polylog n factor. We provide a dichotomy as to when feasible structures exist: they do when t = 2 or d = 1 ; subject to the OMv-conjecture, they do not exist when t ≥ 3 and d ≥ 2 , regardless of the join topology.

In this paper, finite-field networks (FFNs) with time delays are investigated. We introduce the characteristic matrix polynomial for delayed FFNs and utilize it to analyze the dynamics considered in view of linear recursion theory. It is shown that delayed FFNs behave in a pattern similar to non-delayed FFNs in the sense that any state sequence finally reaches a periodic behavior within finite steps. In addition, a sufficient condition assuring pure periodic behaviors is given. For delayed FFNs, an algebra-theoretic criterion for synchronization is proposed for the first time which imposes constraints on the network matrix tuple and the interaction weights. As an application, we study the synchronization problem of delayed FFNs with a tree-structured interaction topology and accordingly provide a criterion of a simple form. Inspired by the existing results, for the tree case, we prove that a given delayed FFN solves a consensus problem if and only if the same does the corresponding non-delayed FFN. As a comparison, examples are shown to illustrate similar conclusion is invalid for the general synchronization problems since the consensus is included in the synchronization. In the end, we identify the specific periodic behavior of synchronized FFNs satisfying the proposed sufficient condition.

The risk assessment is one of the most significant procedures for identifying, preventing, and controlling Occupational Health and Safety (OHS) risks. One of many kinds of techniques for OHS risk assessment is based on the Fine-Kinney model. Most of the Fine-Kinney-based risk assessment approaches can consider the relative importance degree of risk parameters. Nevertheless, the current Fine-Kinney-based risk assessment approaches do not have abilities to capture the reference dependence effects and detailed relationships among hazards. In addition, these approaches overlook the influence of the deviation of risk evaluation information. To overcome these limitations, in this paper, an improved Fine-Kinney model is proposed for OHS risk assessment by integrating the weighted power average (WPA) operator, ORESTE (Organisation, rangement et Synthese de donnees relarionnelles (in French)) method, and cumulative prospect theory. First, the interval 2-Tuple linguistic variables are adopted to transform linguistic risk information into quantitative risk rating information. Then, an extended WPA operator is proposed to fuse the risk evaluation information from decision-makers, in which an optimization model is constructed to determine the weights of decision-makers. Next, an extended ORESTE method based on cumulative prospect theory and interval 2-Tuple linguistic variables is incorporated into the Fine-Kinney model to prioritize OHS risk. After that, the OHS risk assessment of the automobile components manufacturing process is presented to test the applicability and rationality of the improved Fine-Kinney model. After that, a sensitivity analysis is conducted to further illustrate the proposed model. Finally, the comparative analyses between the proposed risk assessment approach and other Fine-Kinney models are led to illustrating its effectiveness and advantages.

Despite exciting progress on cryptography, secure and efficient query processing over outsourced data remains an open challenge. We develop a communication-efficient and information-theoretically secure system, entitled Obscure for aggregation queries with conjunctive or disjunctive predicates, using secret-sharing. Obscure is strongly secure (i.e., secure regardless of the computational-capabilities of an adversary) and prevents the network, as well as, the (adversarial) servers to learn the user's queries, results, or the database. In addition, Obscure provides additional security features, such as hiding access-patterns (i.e., hiding the identity of the tuple satisfying a query) and hiding query-patterns (i.e., hiding which two queries are identical). Also, Obscure does not require any communication between any two servers that store the secret-shared data before/during/after the query execution. Moreover, our techniques deal with the secret-shared data that is outsourced by a single or multiple database owners, as well as, allows a user, which may not be the database owner, to execute the query over secret-shared data. We further develop (non-mandatory) privacy-preserving result verification algorithms that detect malicious behaviors, and experimentally validate the efficiency of Obscure on large datasets, the size of which prior approaches of secret-sharing or multi-party computation systems have not scaled to.

Person Re-identification (ReID) aims at matching a person of interest across images. In convolutional neural network (CNN) based approaches, loss design plays a vital role in pulling closer features of the same identity and pushing far apart features of different identities. In recent years, triplet loss achieves superior performance and is predominant in ReID. However, triplet loss considers only three instances of two classes in per-query optimization (with an anchor sample as query) and it is actually equivalent to a two-class classification. There is a lack of loss design which enables the joint optimization of multiple instances (of multiple classes) within per-query optimization for person ReID. In this paper, we introduce a multi-class classification loss, i.e., N-tuple loss, to jointly consider multiple (N) instances for per-query optimization. This in fact aligns better with the ReID test/inference process, which conducts the ranking/comparisons among multiple instances. Furthermore, for more efficient multi-class classification, we propose a new meta prototypical N-tuple loss. With the multi-class classification incorporated, our model achieves the state-of-the-art performance on the benchmark person ReID datasets., Comment: Accepted by IEEE Transactions on Multimedia

The interest in fog computing is growing, including in traditionally conservative and sensitive areas such as military and governments. This is partly driven by the interconnectivity of our society, and advances in technologies such as Internet-of-Things (IoT). However, protecting against privacy leakage is one of several key considerations in fog computing deployment. Therefore, in this paper, we present a privacy- preserving multi-layer access filtering model, designed for a fog computing environment; hence, coined fog-based access filter (FAF). FAF comprises three key algorithms, namely: access filter initialization algorithm, optimal privacy-energy-time algorithm, and tuple reduction algorithm. Also, a hierarchical classification is used to distinguish the protection objectives. Findings from our experimental evaluation demonstrate that FAF allows one to achieve an optimal balance between privacy protection and computational costs.

One of the very active research areas in bioinformatics is DNA similarity analysis. There are several approaches using alignment-based or alignment-free methods to analyze similarities/dissimilarities between DNA sequences. In this work, we introduce a novel representation of DNA sequences, using n-ary Cartesian products of graphs for arbitrary positive integers n. Each of the component graphs in the representing Cartesian product of each DNA sequence contain combinatorial information of certain tuples of nucleotides appearing in the DNA sequence. We further introduce a metric space structure to the set of all Cartesian products of graphs that represent a given collection of DNA sequences in order to be able to compare different Cartesian products of graphs, which in turn signifies similarities/dissimilarities between DNA sequences. We test our proposed method on several datasets including Human Papillomavirus, Human rhinovirus, Influenza A virus, and Mammals. We compare our method to other methods in literature, which indicates that our analysis results are comparable in terms of time complexity and high accuracy, and in one dataset, our method performs the best in comparison with other methods.

We consider the problem of reliable communication over a network containing a hidden {\it myopic} adversary who can eavesdrop on some $z_{ro}$ links, jam some $z_{wo}$ links, and do both on some $z_{rw}$ links. We provide the first information-theoretically tight characterization of the optimal rate of communication possible under all possible settings of the tuple $(z_{ro},z_{wo},z_{rw})$ by providing a novel coding scheme/analysis for a subset of parameter regimes. In particular, our vanishing-error schemes bypass the Network Singleton Bound (which requires a zero-error recovery criteria) in a certain parameter regime where the capacity had been heretofore open. As a direct corollary we also obtain the capacity of the corresponding problem where information-theoretic secrecy against eavesdropping is required in addition to reliable communication., Extended version of IEEE ISIT submission. Short video explaining the result: https://cuhk.zoom.us/rec/play/ZL93f6ool7K0T48aoRy5FS_sjme9DjLRDvaQeDLsR7IfV2aQGWrJVbqTTJ12Fg9qpXXvWVM4twAmIH-W.I88Ef9sVrWNS4Eog?startTime=1612281070000&_x_zm_rtaid=qXNfoabtTQK94kBK0YE-6A.1613735660905.fd77db9ef1a673afd9cd4ac45303144d&_x_zm_rhtaid=338

The theory of three-way decision, introduced for the needs of explaining the three regions of rough sets, has developed into a more general theory of three regions in recent years. For different types of problems, we should have different types of intentions of trisecting, and only by considering the specific intentions of trisecting can we get the most accurate three regions. This is the starting point of this article. From a new perspective of trisecting, we propose two concepts on two universes, namely rankings of a set of attributes and reference tuples. These two concepts are combined together to express the original intention of trisecting in a new general meaning. At the same time, an evaluation of matching degree is proposed to formulate the trisecting. Based on the above two concepts and one evaluation method, we construct a two-universe model of three-way decision with concrete formulations, and show that the rough-set-based model proposed by Yan et al. is only equivalent to one of the eight cases of our model, with the eight cases corresponding to eight different types of intentions and hence to eight different types of problems. Therefore, the present paper extends classical rough-set-based models to a more general level on two universes. Two algorithms are provided to compute the three regions of our model, with the second one also computing the ordering of objects and hence the optimal ones.

Packet classification is a critical component in network appliances. Software Defined Networking and cloud computing update the rulesets frequently for flexible policy configuration. Tuple Space Search (TSS), implemented in Open vSwitch (OVS), achieves fast rule updating at the sacrifice of the classification rate. In TSS, each tuple is managed by a hash table and classifying a packet needs to go through all hash tables. Merging tuples can reduce the number of hash tables, but inevitably increases the hash conflicts that may even worsen the classification performance in some cases. No existing algorithm meets the need of both fast packet classification and online rule updating. In this paper, we propose Convolutional Neural Network (CNN)-based Range Partition (CRP) to achieve fast packet classification and online update simultaneously. CRP exploits CNN-based image recognition to quickly partition tuples into range spaces upon the change of ruleset distribution, which reduces hash operations while avoiding rule overlapping caused by hashing many rules to the same location of the hash table. Experimental results demonstrate that CRP achieves 3.2x classification speed and 4.2x update speed on average compared with state-of-the-art algorithms. We also implement CRP in OVS. The throughput of CRP-OVS is 10x that of native OVS.

Fact extraction, which aims to extract (entity, attribute, value)-tuples from massive text corpora, is crucial in the area of text data mining . Recent approaches have focused on extracting facts by mining textual patterns with semantic types, where the quality of a pattern is evaluated based on content-based criteria, such as frequency. However, these approaches overlook the dimension of pattern reliability , which reflects how likely the extracted facts are correct. As a result, a pattern of good content-quality (e.g., high frequency) may still extract incorrect facts. In this study, we consider both pattern reliability and fact trustworthiness in addressing the pattern-based fact extraction problem. To learn the complex relationship between pattern reliability and fact trustworthiness, we propose a novel deep learning model using a hybrid of the CNN and LSTM architecture. For fact embedding, we adopt CNN to extract a fix-sized representation of each component, i.e., entity, attribute, and value, of the fact. For pattern embedding, we represent the pattern as a semantic composition of its extracted fact representations. To de-emphasis the noisy facts, we consider the fact trustworthiness and frequency during the process of pattern embedding, where the features of the tuple trustworthiness information are extracted by a long short-term memory (LSTM) model. To learn the pattern-fact relational dependency, we train the model with both pattern and tuple labels. Extensive experiments involving three real-world datasets demonstrated that the proposed model significantly improves the quality of the patterns and the extracted facts in the pattern-based information extraction.

Constraints depict the dependency relationships between parameters in a software system under test. Because almost all systems are constrained in some way, techniques that adequately cater for constraints have become a crucial factor for adoption, deployment and exploitation of Combinatorial Testing (CT). Currently, despite a variety of different constraint handling techniques available, the relationship between these techniques and the generation algorithms that use them remains unknown, yielding an important gap and pressing concern in the literature of constrained combination testing. In this article, we present a comparative empirical study to investigate the impact of four common constraint handling techniques on the efficiency of six representative (greedy and search-based) test suite generation algorithms. The results reveal that the Verify technique implemented with the Minimal Forbidden Tuple (MFT) approach is the fastest, while the Replace technique is promising for producing the smallest constrained covering arrays, especially for algorithms that construct test cases one-at-a-time. The results also show that there is an interplay between efficiency of the constraint handler and the test suite generation algorithm into which it is developed.

Azam et al. (2018) proposed a method to enumerate all pairwise compatibility graphs (PCGs) with a given number n of vertices. For a tuple ( G , T , σ , λ ) of a graph G with n vertices and a tree T with n leaves, a bijection σ between the vertices in G and the leaves in T , and a bi-partition λ of the set of non-adjacent vertex pairs in G , they formulated two linear programs, LP ( G , T , σ , λ ) and DLP ( G , T , σ , λ ) such that: exactly one of them is feasible; and G is a PCG if and only if LP ( G , T , σ , λ ) is feasible for some tuple ( G , T , σ , λ ) . To reduce the number of graphs G with n vertices (resp., tuples) for which the LPs are solved, they excluded PCGs by heuristically generating PCGs (resp., some tuples that contain a sub-tuple ( G ′ , T ′ , σ ′ , λ ′ ) for n = 4 whose LP ( G ′ , T ′ , σ ′ , λ ′ ) is infeasible). This paper proposes two improvements in the method: derive a sufficient condition for a graph to be a PCG for a given tree in order to exclude more PCGs; and characterize all sub-tuples ( G ′ , T ′ , σ ′ , λ ′ ) for n = 4 for which LP ( G ′ , T ′ , σ ′ , λ ′ ) is infeasible, and enumerate tuples that contain no such sub-tuples by a branch-and-bound algorithm. Experimental results show that our method more efficiently enumerated all PCGs for n = 8 .

Deep reinforcement learning (DRL), which combines deep learning with reinforcement learning, has achieved great success recently. In some cases, however, during the learning process agents may reach states that are worthless and dangerous where the task fails. To address the problem, we propose an algorithm, referred as Environment comprehension mechanism (ECM) for deep reinforcement learning to attain safer decisions. ECM perceives hidden dangerous situations by analyzing object and comprehending the environment, such that the agent bypasses inappropriate actions systematically by setting up constraints dynamically according to states. ECM, which calculates the gradient of the states in Markov tuple, sets up boundary conditions and generates a rule to control the direction of the agent to skip unsafe states. ECM is able to be applied to basic deep reinforcement learning algorithms to guide the selection of actions. The experiment results show that the algorithm promoted safety and stability of the control tasks.

We consider read-once functions over $$\mathbb{Z}_{3}$$ , i.e., functions expressed by a formula with addition and multiplication modulo $$3$$ and constants 0, 1, 2 that contains every variable at most once. For a function $$F(x_{1},\dots,x_{n})\colon\{0,1,2\}^{n}\to\{0,1,2\}$$ let $$w_{i}$$ , $$i=0,1,2$$ , be the number of tuples $$(\sigma_{1},\dots,\sigma_{n})\in\{0,1,2\}^{n}$$ such that $$F(\sigma_{1},\dots,\sigma_{n})=i$$ and let $$p_{i}=w_{i}/3^{n}$$ . We prove that for every read-once function the values $$p_{0}$$ , $$p_{1}$$ , $$p_{2}$$ satisfy the inequality $$\max p_{i}-\min p_{i}\leq(\max p_{i}+\min p_{i})^{3}$$ , and that this bound is in a certain sense sharp for read-once functions over $$\mathbb{Z}_{3}$$ .

Th e paper analyzes the state and management of country’s economics. A tuple of event-driven optimal management as a method of artifi cial intelligence has been developed. Th e characteristics of event-driven quality management of associative and structurally complex systems and processes are given. Th e events and probabilities in the management of economics and the state are considered. A measure of invalidation has been introduced for parameters. Th e method of synthesis of the probability of an event based on expert information is presented. Th e necessity of orthogonalization of the logical function and the transition to the probabilistic function have been substantiated. Th e eff ect of repeated initiating events is considered. One-dimensional optimization of the system on a logical model instead of arithmetic multiparameter optimization is presented. Schemes for managing of development and exit of economics from stagnation are given. Th e tools for event-driven quality management of systems and processes are described. Th e analysis of the shortcomings of the existing economic theory and the possibility of their elimination is carried out.

The file attached to this record is the author's final peer reviewed version. The Publisher's final version can be found by following the DOI link. Building green airports can be regarded as among the most promising routes to sustainable development of ecosystems and human health. This study aims at addressing the problem of green airport plan selection under an uncertain context by developing an uncertain multiattribute group decision making (MAGDM) model. In the proposed model, the assessment information is characterized in the form of a proportional hesitant 2-tuple linguistic term set (PH2TLTS), which incorporates in binary form linguistic information that can accurately quantify subjective assessment information provided under uncertainty. The weights of assessment attributes of green airport plans are obtained automatically through a nonlinear programming model, which enhances the robustness of the decision-making method. Subsequently, on the basis of PH2TLTSs, three distance measures are proposed: the proportional hesitant 2-tuple linguistic Jaccard distance (PH2TLJD), the supplementary proportional hesitant 2-tuple linguistic normalized Minkowski distance (SPH2TLNMD) and the cluster-based proportional hesitant 2-tuple linguistic normalized Minkowski distance (CBPH2TLNMD). The TOPSIS-based comparison method proposed here can better determine the priorities of PH2TLTSs. The ranking and selection of green airport plans are derived using the PH2TL-VIKOR model. Finally, a case study accompanied by sensitivity and comparative analyses is performed to verify the rationality and feasibility of the proposed model.

A graph is locally-connected if the neighborhood of each vertex induces a connected graph. It is well known that a triangulation on a closed surface is locally-connected, and some results for triangulations were generalized to those for connected locally-connected graphs. In this paper, we extend two characterization theorems of triangulations for a complete coloring and a facial complete coloring, which are vertex colorings with constraints on the appearance of color tuples, to those of connected locally-connected graphs. Moreover, we also investigate the relation between the corresponding invariants and the number of independent elements.

We consider a fault source under which the fault functions are obtained from the original function f(x̃ n ) ∈ $\begin{array}{} \displaystyle P_2^n \end{array}$ by a left shift of values of the Boolean variables by at most n. For the vacant positions of the variables, the values are selected from a given filling tuple γ̃ = (γ 1, γ 2, …, γn ) ∈ $\begin{array}{} \displaystyle E^n_2 \end{array}$ , which also moves to the left by the number of positions corresponding to a specific fault function. The problem of diagnostic of faults of this kind is considered. We show that the Shannon function $\begin{array}{} \displaystyle L_{\tilde{\gamma}}^{\rm shifts, diagn}(n), \end{array}$ which is equal to the smallest necessary test length for diagnostic of any n-place Boolean function with respect to a described fault source, satisfies the inequality $\begin{array}{} \displaystyle \left\lceil \frac{n}{2} \right\rceil \leq L_{\tilde{\gamma}}^{\rm shifts, diagn}(n) \leq n. \end{array}$

In this paper we introduce and study several mean forms of sensitive tuples. It is shown that the topological or measure-theoretical entropy tuples are correspondingly mean sensitive tuples under certain conditions (minimal in the topological setting or ergodic in the measure-theoretical setting). Characterizations of the question when every non-diagonal tuple is mean sensitive are presented. Among other results we show that under minimality assumption a topological dynamical system is weakly mixing if and only if every non-diagonal tuple is mean sensitive and so as a consequence every minimal weakly mixing topological dynamical system is mean n-sensitive for any integer n ≥ 2 . Moreover, the notion of weakly sensitive in the mean tuple is introduced and it turns out that this property has some special lift property. As an application we obtain that the maximal mean equicontinuous factor for any topological dynamical system can be induced by the smallest closed invariant equivalence relation containing all weakly sensitive in the mean pairs.

SkinnerDB uses reinforcement learning for reliable join ordering, exploiting an adaptive processing engine with specialized join algorithms and data structures. It maintains no data statistics and uses no cost or cardinality models. Also, it uses no training workloads nor does it try to link the current query to seemingly similar queries in the past. Instead, it uses reinforcement learning to learn optimal join orders from scratch during the execution of the current query. To that purpose, it divides the execution of a query into many small time slices. Different join orders are tried in different time slices. SkinnerDB merges result tuples generated according to different join orders until a complete query result is obtained. By measuring execution progress per time slice, it identifies promising join orders as execution proceeds. Along with SkinnerDB, we introduce a new quality criterion for query execution strategies. We upper-bound expected execution cost regret, i.e., the expected amount of execution cost wasted due to sub-optimal join order choices. SkinnerDB features multiple execution strategies that are optimized for that criterion. Some of them can be executed on top of existing database systems. For maximal performance, we introduce a customized execution engine, facilitating fast join order switching via specialized multi-way join algorithms and tuple representations. We experimentally compare SkinnerDB’s performance against various baselines, including MonetDB, Postgres, and adaptive processing methods. We consider various benchmarks, including the join order benchmark, TPC-H, and JCC-H, as well as benchmark variants with user-defined functions. Overall, the overheads of reliable join ordering are negligible compared to the performance impact of the occasional, catastrophic join order choice.

Emergencies require various emergency departments to collaborate to achieve timely and effective emergency responses. Thus, the overall performance of emergency response is influenced not only by the efficiency of each department alternative but also by the coordination effect among different department alternatives. This paper proposes a collaborative emergency decision making (CEDM) approach considering the synergy among different department alternatives based on the best–worst method (BWM) and TODIM (an acronym in Portuguese of interactive and multiple attribute decision making) method within an interval 2-tuple linguistic environment. First, the evaluation information provided by decision makers (DMs) is represented by interval 2-tuple linguistic variables to reflect and model the underlying diversity and uncertainty. On the basis of the DMs’ evaluations, the individual and collaborative performance evaluations of multi-alternative combinations composed of different department alternatives are constructed. Then, the BWM is extended into interval 2-tuple linguistic environment to obtain the weights of evaluation criteria, where the group decision making is taken into account in an interval fuzzy mathematical programming model. Furthermore, to derive more practical and accurate decision results, an interval 2-tuple linguistic TODIM (ITL-TODIM) method is proposed by considering the DMs’ psychological behaviours. In the developed ITL-TODIM method, both the gain and loss degrees of one alternative relative to another are simultaneously computed. Finally, a numerical example is presented to illustrate the applicability of the proposed method. Sensitivity and comparative analyses are also provided to demonstrate the effectiveness and advantages of the proposed approach.

Knowledge plays a vital role in multi-attribute group decision-making (MAGDM), where experts from different-fields present their knowledge to support decision-making by employing multi-granularity linguistic model. The main goals of current work are targeted to present a novel MAGDM approach by integrating the extended Archimedean Copulas (EACs), group-individual best-worst method (GIBWM) and multi-attributive border approximation area comparison (MABAC) approach to fuse multi-source knowledge with multi-granularity intuitionistic 2-tuple linguistic information (I2TLI) with unknown weight information of attributes and experts. To begin with, for the sake of modeling the relationships between attributes (experts), the Copula-based aggregation operators with I2TLI are recommended together with some of its variations discussed; In addition, taking the merits of GIBWM methods, an algorithm of weight information of expert and attributes is designed; Thirdly, considering the decision maker’s behaviour preference and psychology, a modified MABAC method is proposed by modified prospect matrix. Simultaneously, an algorithm for MAGDM based on I2TLI with different granularity is designed by integrating GIBWM and modified MABAC approach. Last of all, an example is furnished to manifest the significance of the proposed method along with related discussions, the advantages of this method are analyzed by comparing with the extant decision-making approaches.

We investigate a collective-choice bargaining model under minimal assumptions. In this model, the set of alternatives is arbitrary; each player’s utility function is nonnegative-valued; the decision rule is monotonic; the probability of each player’s being recognized as a proposer depends only on the tuple of actions in the previous round; any player is perfectly patient. We show that for any alternative, it is in the core if and only if there exists a stationary subgame perfect equilibrium (SSPE) such that it is proposed by every player and implemented with certainty.

Joins are essential and potentially expensive operations in database management systems. When data is associated with time periods, joins commonly include predicates that require pairs of argument tuples to overlap in order to qualify for the result. Our goal is to enable built-in systems support for such joins. In particular, we present an approach where overlap joins are formulated as unions of range joins, which are more general purpose joins compared to overlap joins, i.e., are useful in their own right, and are supported well by B+-trees. The approach is sufficiently flexible that it also supports joins with additional equality predicates, as well as open, closed, and half-open time periods over discrete and continuous domains, thus offering both generality and simplicity, which is important in a system setting. We provide both a stand-alone solution that performs on par with the state-of-the-art and a DBMS embedded solution that is able to exploit standard indexing and clearly outperforms existing DBMS solutions that depend on specialized indexing techniques. We offer both analytical and empirical evaluations of the proposals. The empirical study includes comparisons with pertinent existing proposals and offers detailed insight into the performance characteristics of the proposals.

Privacy-preserving algorithm based on k-anonymity plays an outstanding role in real-world data mining applications, such as medical records, bioinformatics, market, and social network. How to maximize the availability of published data without sacrificing users’ privacy is the emphasis of privacy-preserving research. In this paper, we propose a mixed-feature weighted clustering algorithm for k-anonymity (MWCK) to study the contradiction of efficiency and information loss for utility-type anonymization. First, we propose the concept of natural equivalence group, then tuples with same attributes in dataset can be pre-extracted to reduce time complexity and information loss. Second, a sorting algorithm based on the shortest distance is proposed, which selects the optimal initial cluster center at a lower computational cost to reduce the number of iterations. Finally, MWCK not only considers intra-cluster isomorphism to reduce generalization information loss and inter-cluster heterogeneity to avoid local optimal solutions, but also applies to both numerical and categorical datasets. Extensive experiments show that our algorithm can effectively protect data privacy and has better comprehensive performance in terms of information loss and computational complexity than state-of-art methods.

The structure of interval-valued fuzzy sets is complex in regard to their arithmetic operations. To reduce the computational complexity of arithmetic operations on interval-valued fuzzy sets, we propose the notion of an n-polygonal interval-valued fuzzy set considering two 2 n + 2 -tuple ordered real numbers. Complete representation of n-polygonal interval-valued fuzzy sets and numbers is provided. Moreover, we demonstrate that the n-polygonal interval-valued fuzzy numbers can approximate the general interval-value fuzzy numbers with any precision. Next, we introduce arithmetic operations on n-polygonal interval-valued fuzzy numbers by capitalizing on the good characteristics of n-polygonal interval-valued fuzzy numbers. The properties of the introduced arithmetic operations are also addressed. In addition, with the aid of a concrete example, we verify the effectiveness of the approximation ability of the n-polygonal interval-valued fuzzy set. Furthermore, we study the properties of the topological space of n-polygonal interval-valued fuzzy numbers. This proves that this space is a complete, separable and local compact metric space when endowed with the newly defined distance between two n-polygonal interval-valued fuzzy numbers. By product, it shows that arithmetic operations introduced here on n-polygonal interval-valued fuzzy numbers are continuous. Finally, the practicability of n-polygonal interval-valued fuzzy numbers is verified by an example.

Several real-world problems employ linguistic-based approaches to handle qualitative data. The set of linguistic terms that is utilized in the problems are mostly alleged to be symmetrically distributed. However, with the advent of time, as the complexity of the problem increases, the equidistant linguistic term set seems improper. Consequently, in such cases, experts often prefer to use the set of the unbalanced linguistic term to direct the appraisal for the problems. In this article, we tend to propose a method that is newly designed to deal with a set of unbalanced linguistic terms. In this direction, we initially propose an algorithm to represent unbalanced linguistic information via a multiplicative linguistic label set that has a global inconsistent linguistic term distribution. Furthermore, in light of the Herrera and Martinez, “2-tuple linguistic model,” we develop a novel 2-tuple approach for the unbalanced linguistic set, which is based on the notion of minimum distance measure. Finally, to validate the proposed model in the physical realm and to demonstrate the functioning of the method, a numerical example is being elucidated. The proposed methodology seeks to indicate a reduction in the computation time and also enhances the decision-makers’ evaluations.

Low latency stream processing on large clusters consisting of hundreds to thousands of servers is an increasingly important challenge. A crucial barrier to tackling this challenge is stragglers , i.e., tasks that are significantly straggling behind others in processing the stream data. However, prior straggler mitigation solutions have significant limitations. They balance streaming workloads among tasks but may incur imbalanced backlogs when the workloads exhibit variance, causing stragglers as well. Fortunately, we observe that carefully scheduling the outgoing tuples of different tasks can yield benefits for balancing backlogs, and thus avoids stragglers. To this end, we present Hone , a tuple scheduler that aims to minimize the maximum queue backlog of all tasks over time. Hone leverages an online Largest-Backlog-First ( LBF ) algorithm with a provable good competitive ratio to perform efficient tuple scheduling. We have implemented Hone based on Apache Storm and evaluated it extensively via both simulations and testbed experiments. Our results show that under the same workload balancing strategy– shuffle grouping , Hone outperforms the original Storm significantly, with the end-to-end tuple processing latency reduced by 78.7 percent on average.

We prove an algebraic canonicity theorem for normal LE-logics of arbitrary signature, in a generalized setting in which the non-lattice connectives are interpreted as operations mapping tuples of elements of the given lattice to closed or open elements of its canonical extension. Interestingly, the syntactic shape of LE-inequalities which guarantees their canonicity in this generalized setting turns out to coincide with the syntactic shape of analytic inductive inequalities, which guarantees LE-inequalities to be equivalently captured by analytic structural rules of a proper display calculus. We show that this canonicity result connects and strengthens a number of recent canonicity results in two different areas: subordination algebras, and transfer results via G\"odel-McKinsey-Tarski translations., Comment: arXiv admin note: text overlap with arXiv:1603.08515, arXiv:1603.08341

With growing concern of data privacy violations, privacy preservation processes become more intense. The k-anonymity method, a widely applied technique, transforms the data such that the publishing datasets must have at least k tuples to have the same link-able attribute, quasi-identifiers, values. From the observations, we found that, in a certain domain, all quasi-identifiers of the datasets, can have the same data type. This type of attribute is considered as an Identical Generalization Hierarchy (IGH) data. An IGH data has a particular set of characteristics that could utilize for enhancing the efficiency of heuristic privacy preservation algorithms. In this paper, we propose a data privacy preservation heuristic algorithm on IGH data. The algorithm is developed from the observations on the anonymous property of the problem structure that can eliminate the privacy constraints consideration. The experiment results are presented that the proposed algorithm could effectively preserve data privacy and also reduce the number of visited nodes for ensuring the privacy protection, which is the most time-consuming process, compared to the most efficient existing algorithm by at most 21%.

Ranked Set Sampling (RSS), introduced by McIntyre, and other related methods, such as Partially Rank-Ordered Set Sampling (PROSS), have shown that inclusion of a ranking mechanism produces estimato...