Abstract: A multifunction electromagnetic induction sealing liner includes, from top to bottom order, a composite function layer, an electromagnetic induction heating layer, and an adhesion layer combined together. The composite function layer includes, from top to bottom order, an information layer and a backing layer combined together. The information layer has therein an information chip and an antenna circuit electrically connected to the information chip. The composite function layer includes a grip portion, a primary cutting line and a secondary cutting line. The primary cutting line runs annularly and divides the composite function layer into an outer ring and an inner ring. The grip portion is disposed inside the inner ring and connected thereto. The secondary cutting line is disposed in the inner ring and connected to a lateral edge of the grip portion. The antenna circuit crosses the primary cutting line and/or the secondary cutting line.

Abstract: A computer-implemented method for transforming an SQL query having a WHERE clause having nested SELECT expressions. The expression in the WHERE clause being transformed by the iterative application of rules to have ThereExists expressions and associated truth-value expressions. Further transforming the expression to form a truth expression having the IS operator and iteratively applying further rules to translate 3-valued logic to z-valued logic. Carrying out a further transformation to remove NOT expressions from the expression and to remove any ThereExists expressions so as to define an expression in z-valued logic with simplified SELECT expressions.

Abstract: A computer-implemented method for transforming an SQL query comprising a WHERE clause having nested SELECT expressions. The expression in the WHERE clause being transformed by the iterative application of rules to comprise ThereExists expressions and associated truth-value expressions. Further transforming the expression to form a truth expression having the IS operator and iteratively applying further rules to translate 3-valued logic to 2-valued logic. Carrying out a further transformation to remove NOT expressions from the expression and to remove any ThereExists expressions so as to define an expression in 2-valued logic with simplified SELECT expressions.

Abstract: Provided is an indexing system for structured or semi-structured source data comprising a tokenizer for accepting source data and generating tokens representing the source data, the tokens from the tokenization representing the source data in a relational view, where for tokens representing a subset of the source data, the system generates tokens identifying the table and column of the subset of the data in the relational view of the source data, and an index builder for building index structures based on the tokens generated by the tokenizer, the index builder creating indexes which comprise a set of positional indexes for indicating the position of token data in the source data, a set of lexicographical indexes comprising a sort vector index and a join bit index, associated with the sort vector index, a set of data structures mapping between the lexicographical indexes and the positional indexes.

Abstract: The merger of a small sort vector with a big sort vector by the use of low limit and high limit pointers which are initialized to point into the big sort vector for each entry in the small sort vector. The merge of the big and small sort vectors is carried out by successive refinement passes through the small sort vector to achieve the convergence of the low and high limit pointers. The convergence point for the pointers indicates the insertion point for each entry in the small sort vector in the big sort vector. The converged limit pointers are used to define the merged big and small sort vectors.