Abstract:
The invention provides for verifying correctness of a database system. A SQL instruction is received and access paths of the received SQL instruction are extended. The SQL instruction is executed by using the extended access paths, and the correctness of the database system is verified according to results of executing the SQL instruction. With the method and system of the invention, the object of verifying correctness of a database system by automatically extending access paths of SQL statement may be achieved, and the object of verifying correctness of a database system scientifically, effectively and purposefully based on ratio of error or defect present in database itself due to various data manipulation approaches (different values of access path elements) may also be achieved.
Abstract:
A method and system for mapping colors of an image. The method including the steps of: segmenting an image into a plurality of regions, so that pixels in each of the plurality of regions have a characteristic that meets a predetermined similarity; determining an initial contrast between adjacent regions in the plurality of regions; and transforming an initial color of each of the plurality of regions into a target color; where a target contrast between the adjacent regions in the plurality of regions is equal to or greater than the initial contrast or a difference between the target contrast and corresponding initial contrast is less than a predetermined threshold; and where at least one of the steps is carried out by a computer device.
Abstract:
A terminal that includes a transmitter, a receiver, and an updater. The transmitter is configured to broadcast a first data packet in response to the terminal being connected to a local area network (LAN). The first data packet includes at least one of an Internet protocol (IP) address and a media access control (MAC) address of the terminal as well as a domain name of the terminal. The receiver is configured to receive a second data packet broadcasted by another terminal on the LAN. The second data packet includes at least one of an IP address and a MAC address of the other terminal as well as a domain name of the other terminal. The updater is configured to update a domain name system (DNS) configuration in the terminal based on the second data packet received by the receiver.
Abstract:
A processing method for a device having a bi-stable display includes transforming a target page to be turned to; calculating overlap between the transformed target page and a current page; and determining whether the overlap of the transformed page complies with a predetermined criterion.
Abstract:
Embodiments of the invention relate to database large object (LOB) reorganization. An aspect of the invention includes calculating an activity of an inline LOB. The length of an inline LOB is redefined according to the activity of the inline LOB. LOB reorganization is performed based on the redefined length of the inline LOB.
Abstract:
A method and system for mapping colors of an image. The method including the steps of: segmenting an image into a plurality of regions, so that pixels in each of the plurality of regions have a characteristic that meets a predetermined similarity; determining an initial contrast between adjacent regions in the plurality of regions; and transforming an initial color of each of the plurality of regions into a target color; where a target contrast between the adjacent regions in the plurality of regions is equal to or greater than the initial contrast or a difference between the target contrast and corresponding initial contrast is less than a predetermined threshold; and where at least one of the steps is carried out by a computer device.
Abstract:
Embodiments of the present invention relate to dynamically merging executable structures in a database system. In one embodiment, there is provided a method of dynamically merging executable structures in a database system that includes, in response to a query to the database system, extracting a stem and a branch of a query statement. The query statement includes query conditions, and the branch includes at least a subset of the query conditions. An executable structure of the stem is obtained from a cache of the database system, and an executable structure of the branch is generated. The executable structure of the stem and the executable structure of the branch are merged into a runtime executable structure.
Abstract:
A method and system for mapping colors of an image. The method including the steps of: segmenting an image into a plurality of regions, so that pixels in each of the plurality of regions have a characteristic that meets a predetermined similarity; determining an initial contrast between adjacent regions in the plurality of regions; and transforming an initial color of each of the plurality of regions into a target color; where a target contrast between the adjacent regions in the plurality of regions is equal to or greater than the initial contrast or a difference between the target contrast and corresponding initial contrast is less than a predetermined threshold; and where at least one of the steps is carried out by a computer device.
Abstract:
The invention provides a method for verifying correctness of a database system, comprising: receiving SQL instruction; extending access paths of the received SQL instruction; executing the SQL instruction by using the extended access paths; and verifying correctness of the database system according to result of executing the SQL instruction. With the method and system of the invention, the object of verifying correctness of a database system by automatically extending access paths of SQL statement may be achieved, and the object of verifying correctness of a database system scientifically, effectively and purposefully based on ratio of error or defect present in database itself due to various data manipulation approaches (different values of access path elements) may also be achieved.
Abstract:
A method and system for mapping colors of an image. The method including the steps of: segmenting an image into a plurality of regions, so that pixels in each of the plurality of regions have a characteristic that meets a predetermined similarity; determining an initial contrast between adjacent regions in the plurality of regions; and transforming an initial color of each of the plurality of regions into a target color; where a target contrast between the adjacent regions in the plurality of regions is equal to or greater than the initial contrast or a difference between the target contrast and corresponding initial contrast is less than a predetermined threshold; and where at least one of the steps is carried out by a computer device.