Abstract: A network verification system processes a network forwarding state into atomic predicates and compresses a network routing table into an atomic predicates indexes set. A transitive closure among all pairs of nodes in the network is calculated from the atomic predicates and atomic predicates indexes set to generate an all-pair reachability matrix Mn of the network. A reachability report for the network is recursively generated for respective nodes based on the all-pair reachability matrix. The reachability report is used to dynamically program the network.

Abstract: Building and using multiple different types of sub-indices to search a database is provided. A plurality of different physical data ranges is generated within the database based on a set of logical hot data ranges and a set of logical non-hot data ranges to form a set of physical hot data ranges and a set of physical non-hot data ranges. A set of sub-index types is built for each respective data range of the plurality of different physical data ranges within the database using a set of selected high-speed sub-index types for the set of physical hot data ranges and another set of selected sub-index types for the set of physical non-hot data ranges to accelerate data availability for query. An index is built for the database using the set of sub-index types built for each respective data range of the plurality of different physical data ranges within the database.

Abstract: A database-management system (DBMS) dynamically adjusts the logical and physical partitioning of data stored in database tables. An artificially intelligent DBMS partition manager draws expert inferences from the DBMS's current workload, execution logs, and data statistics, in order to identify ranges of database key values that are frequently accessed by incoming queries. The ranges are allocated to logical partitions that are then mapped to physical partitions, such that database records identified by a pair of subranges are stored in proximate areas of physical storage. This partitioning reduces the number of physical-storage accesses by populating each physical partition with records likely to be accessed together.

Abstract: A multi-primary color conversion method is provided to include: establishing a spatial gamut model of a display panel; determining a target peripheral surface corresponding to the target color according to the color coordinates of the target color and color coordinates of a color corresponding to each vertex of each peripheral surface; obtaining reference gray scales of a part of primary colors of the target color according to gray scales of the primary colors of a color corresponding to each vertex of the target peripheral surface; obtaining reference gray scales of the rest primary colors of the target color and a reference luminance of the target color; and respectively converting the reference gray scales of the plurality of primary colors of the target color into target gray scales according to a proportional relationship between the reference luminance and the target luminance of the target color.

Abstract: A display device and a display control method, and the display device includes: a backlight module, a first display panel, and a second display panel, and a processor. The processor is configured to: acquire a pixel grayscale matrix of an image to be displayed; determine desired brightness of each pixel by using a grayscale-brightness curve of the second display panel based on the pixel grayscale matrix; determine set light-emitting brightness of backlight partition according to grayscale information in the pixel grayscale matrix corresponding to the backlight partition; obtain a first corrected brightness of each backlight partition based on light diffusion coefficients of the plurality of backlight partitions; determine a grayscale of pixel unit according to a brightness difference between the first corrected brightness and the desired brightness; obtain a second corrected brightness of the backlight partition.

Abstract: A database query processor includes a database join prefetcher that prefetches N next join column values in order to execute the query more efficiently. The prefetched next join column values for an inner table are used to skip rows in an outer table, thereby increasing the performance of executing the query. The number N of prefetches can be dynamically determined and adjusted to improve the performance of executing the query.

Abstract: A computer-implemented method that includes receiving an ingestion request to ingest data to a database comprising physical shards and detecting that the ingestion request is directed to a first hotspot shard. The first hotspot shard has a contention level over a threshold value. The method also detects context characteristics within the data and generates a first virtual shard based on a first virtual shard key selected from the detected context characteristics. The first virtual shard virtually duplicates at least a portion of the first hotspot shard. The method also includes ingesting the data to the first virtual shard.

Abstract: In an approach for database self-diagnosis and self-healing, a processor receives a problem description related to a database. A processor classifies the problem description into a natural language description portion and a database-know-who content portion. A processor processes the natural language description portion using natural language processing techniques. A processor evaluates the database-know-who content portion. A processor combines a result of processing the natural language description portion and evaluating the database-know-who content portion. A processor identifies a solution based on the problem description and the combined result. A processor solves a problem using the identified solution.

Abstract: A computer-implemented method that includes managing a buffer pool of pages into a ring sub-chain comprising pages linked in a ring, and a linear sub-chain comprising pages linked in a line from a header, and moving a page between the linear sub-chain and the ring sub-chain based on a moving schema evaluating a chain management characteristic.

Abstract: Embodiments of the present disclosure relate to an approach for database query. According to the approach, a query for a group of data records is received. At least one index is created on at least one field of the data records and comprises index entries for storing and sorting respective values of the at least one field of the data records. It is determined if the query satisfies a predetermined condition. In response to the query satisfying the predetermined condition, a result of the query is determined by skipping at least a part of operations required by the query based on the at least one index.

Abstract: A method, system, and computer program product to plan and schedule executions of various utility tasks of a utility command during a maintain window, the method including receiving a utility command. The method may also include identifying possible utility tasks used to execute the utility command. The method may also include determining preferred utility tasks. The method may also include calculating a degree of parallelism for the preferred utility tasks. The method may also include generating a utility execution plan for the utility command. The method may also include analyzing the utility execution plan against resource constraints of a time window and sub time windows of the time window. The method may also include generating a time window execution plan for each sub time window of the sub time windows. The method may also include updating the utility execution plan with the time window execution plans.

Abstract: A display device, a method for realizing panoramic sound, a non-transitory storage medium are provided. The method includes: performing space model parameter modification on preset space model based on application environment; determining middle audio source information based on video source information as read, determining side audio source information based on video source information and modified space model parameter; determining top audio source information based on sound image position information and side audio source information; controlling middle sound production circuit to produce sound based on middle audio source information, two side sound production circuits to produce sound based on side audio source information, top sound production circuit to produce sound based on top audio source information.

Abstract: A system, computer program product, and method are provided for driving database reorganizations subject to determined workloads, and, more specifically, to providing an online partial reorganization of a database to improve workload performance. The method includes collecting performance information for one or more performance sensitive workloads associated with one or more portions of a database and analyzing the collected performance information. For each of the one or more performance sensitive workloads, indications of performance declines thereof are determined. Subject to the determined performance declines, at least one of the one or more database portions affected by the determined performance declines are determined. Subject to the database portions determination, the determined performance declines are classified. Subject to the classification of the performance declines, one or more partial reorganizations of the one or more database portions is executed.

Abstract: A computer-implemented method dynamically detects and corrects an error in a query. The method includes identifying an error in a first query. The method further includes generating a set of alternate execution structures for the first query. The method includes running each of the alternate execution structures, including generating a set of results corresponding to each set of alternate execution structure, comparing each of the set of results against each other of the set of results, and storing each of the set of alternate execution structures to include a result of the set of results, for each alternate structure. The method further includes selecting, from the set of alternate execution structures, a first alternate execution structure based on a predetermined criteria, and implementing the first alternate structure in place of the first query.

Abstract: In an approach, a processor obtains a plurality of security policies for managing security of a database, the security policies defining respective sets of items to be monitored. A processor stores, respectively, the sets of items defined by the plurality of security policies in one or more item tables based on a predetermined criterion, the predetermined criterion comprising security policy relevance, security policy structure, and available space in the one or more item tables. A processor creates, for each of the one or more item tables, one or more respective index tables associated with the items in the respective item table. A processor creates, for each of the one or more item tables, a fast traverse block (FTB) associated with the created one or more respective index tables.

Abstract: One or more computer processors match a query pattern to a received query; context information related to the received query; retrieve a set of query records including the same context information as the obtained context information from an index knowledge base, wherein each query record in the set of query records include context information related to a respective history query, the query pattern, an index type associated with the query pattern, and performance information relating to the query pattern and the index type; determine that a subset of the retrieved query records includes one or more query patterns equivalent to the matched query pattern; select a query pattern and an associated index type from the subset of query records based on associated performance information in the set of query records; and perform the received query by applying the selected query pattern and the associated index type.

Abstract: A data structure associated with a sparse index is determined to include a plurality of redundant keys with at least one set of duplicate keys. The at least one set of duplicate keys is ranked, according to a set of criteria. According to the ranking, a first set of duplicate keys from the at least one set is selected. In place of the first set, a first guard node is inserted. The first guard node includes a first key value identical to the first set of duplicate keys and is linked to a first set of field nodes representing a first set of field values associated with the first set of duplicate keys.

Abstract: An image processing method, an image forming apparatus, and a storage medium are provided in embodiments of the present disclosure. The image processing method includes acquiring a first color component value and a second color component value of each pixel of a to-be-processed image in a preset color space; determining a color cast pixel according to the first color component value and the second color component value of each pixel; and performing pixel correction on each color cast pixel to obtain a corrected to-be-processed image. In the technical solutions of various embodiment of the present application, the color cast pixel in the to-be-processed image is determined by the first color component value and the second color component value of the pixel, and the pixel correction is performed on the color cast pixel, which removes colored noise in the printed image and improves image printing quality.

Abstract: A computer-implemented method to inject security semantics into database queries. The method includes receiving, by a database system, a query, wherein the query is received from a host and the query is generated by a first user account. The method also includes, generating an access plan for the query. The method further includes, determining a first portion of the access plan matches a first security syntax. The method includes, injecting, in response to determining the first portion of the access plan matches the first security syntax, the first security syntax into the access plan. The method further includes, executing the query. The method includes, returning a set of results of the query to the host.

Abstract: A method, system, and computer program product for abnormal data detection. According to the method, a plurality of data points collected at different time points are classified into a plurality of groups. A plurality of groups of potential abnormal data points are determined from the plurality of groups. Correlations between a first group of the plurality of groups of potential abnormal data points with other groups of potential abnormal data points are determined. In response to the first group of the plurality of groups of potential abnormal data points being uncorrelated to a majority of the other groups of potential abnormal data points based on the correlations, data points in the first group are identified as abnormal data points.