International Business Machines Corporation

Akihiko Tozawa

Michiaki Tatsubori

Toyotaro Suzumura

Satoshi Hada

Michiharu Kudo

Hiroshi Horii

Tamiya Onodera

Makoto Murata

Naishin Seki

Scott Ross Trent

Takaaki Tateishi

Vijay Sundaresan

Shin Saito

Akira Koseki

Hisashi Miyashita

Takahide Nogayama

Robbert C Van Der Linden

Robbert Van Der Linden

Yasuharu Katsuno

Ai Yoshino

Naoshi Tabuchi

Makato Murata

Methods and systems for software analysis include determining a similarity score for an ordered input set and at least one ordered cluster set that represents a distance between the ordered input set and the at least one ordered cluster set. It is determined that he ordered input is similar to a first cluster of the at least one ordered cluster set, based on the similarity score. The ordered input set is merged to the first cluster of the at least one cluster set to generate a merged set that preserves an ordering of the ordered input set and the first cluster. Software analysis is performed using the merged set.

Merging totally ordered sets

A generation apparatus that generates a mapping between individual properties included in an object in a program and individual elements of a structured document. The generation apparatus includes: an object tree generation unit that generates a tree structure representing hierarchical structure of the object by assigning the individual properties included in the object to nodes of the tree structure; and a selection unit that selects a mapping minimizing conversion cost of converting the tree structure of the object to a tree structure that includes the individual elements of the structured document as its nodes. The selection is from mappings that associate the individual properties included in the object with the individual elements of the structured document.

Generation apparatus, program, and generation method

A distributed system is provided that includes member nodes and a leader node. Each member node stores a database and updates the database by performing common ones of a plurality of transactions. The leader node generates a batch, to be executed by each member node, which includes two or more transactions lacking an access conflict from among the plurality of transactions. The leader node includes: a section that generates an access set as a set of database entries to be accessed by each transaction to be executed; a section that generates the batch, based on the access set of each transaction to be executed; and a leader-side section that performs a consensus process for the batch among the leader and member nodes. Each member node includes the database; a member-side section that performs a consensus process for the batch; and a section that performs parallel execution of batch transactions.

Distributed system, computer program product and method

To provide a method, apparatus, and computer program for performing type inference of serialization for each generation site and specializing a serializer for each generation site. A type of serialization is inferred for each generation site of compiling a query, and a serializer is specialized for each generation site based on the inferred type and a type that is actually used. A data value is serialized using the specialized serializer for each generation site. The inference is executed while transcribing identification information assigned to each generation site to a type as an annotation, and the inferred type and the type used in serialization are recursively compared.

Method, apparatus, and computer program for specializing serializer

Selecting a mapping that minimizes conversion costs

An improved method and system for providing path-level access control to a structured document in a collection stored in a database, where the structured document includes a plurality of nodes is disclosed. The method includes the steps of providing an access control policy for the collection, where the access control policy comprises a plurality of access control rules, generating a path for each node of the plurality of nodes in the document, and generating for each path associated with a node a corresponding value expression based on at least one access control rule of the plurality of access control rules. According to the method and system of the present invention, the corresponding value expression is utilized during access control evaluation to determine whether a user is allowed to access a node in the structured document.

Providing path-level access control for structured documents stored in a database

A computer-implemented method, system, and article of manufacture for processing a programming language, which is able to describe data conversion of data input by an iterator. The method includes: converting iterator code of the programming language to a generator code in an intermediate language that includes a generator as an operator; reading a consumer side code; and overwriting code by inline substitution between the consumer side code and the generator code.

Code converting method, program, and system

Method and system for providing path-level access control for structured documents stored in a database

The specification of a string within source code written in a programming language is received. The source code is processed for ultimate execution of a computer program encompassing the source code, by at least performing the following. It is determined whether the string specified is a short string or a long string. The string is processed in accordance with a first manner where the string is a short string. The string is processed in accordance with a second manner where the string is a long string.

Processing strings based on whether the strings are short strings or long strings

Dynamically generating web contents includes an application execution unit for dynamically generating an HTML file, and an HTTP server for receiving an HTTP request and returning an HTTP response including an HTML file generated by the application execution unit. The application execution unit executes a script of the HTML file, and describes information specifying the file in the object without reading the actual file, if an instruction code of the script is a script to display contents of a specific file held in a storage device. The HTTP server identifies a file held in the storage device on the basis of the information, and transmits the file together with the HTML file.

Dynamically generating web contents

It is determined whether a plurality of screens to be sequentially displayed by a process of a program satisfies a specification without executing this program. A system of the present invention stores a first schema prescribing a specification of a first screen, a second schema prescribing a specification of a second screen, and an event switching the display by program from the first screen to the second screen. First, a partial program executed in response to an event generated during displaying the screen satisfying the first schema is extracted from a program on the basis of the first schema and the event. Next, an intermediate program for calculating a set of screens being displayed in response to an event generated during displaying screens in a set of screens satisfying the first schema from this set is generated on the basis of the partial program. Next, it is determined that these screens satisfy a specification on condition that the first screen satisfies the first schema and a set of screens obtained by applying the intermediate program to the first schema satisfies the second schema.

System for determining whether screen displayed by program satisfies specification

An access rights analysis including a query automaton generation unit for generating a query automaton from a path expression in which retrieval conditions for a database. An access control automaton generation unit generates an access control automaton from an access control policy; a schema automaton generation unit generates a schema automaton from a schema; and a logic operation unit performs a logic operation related to each of the generated automatons. By use of the above components, access rights in database retrieval using the path expressions are decided without checking the XML document itself in the XML database and checking by each node.

Information processor, database search system and access rights analysis method thereof

Document-searching using a compiling device for generating a two-state input automaton for enabling a state transition by storing an input query expression, performing parsing, and reading at least two states from different types of nodes in an element identifier, and a storage device for storing the two-state input automaton. Also included is an automaton-evaluating device for enabling three state transitions by reading out a two-state input automaton from the storage device and storing the automaton, while reading in a document and identifying the input two states.

Method for document-searching

A system and method for optimizing program code in dynamic languages includes gathering hot-type information from a program by employing inferencing or profiling to get the hot-type information for operator uses, and inserting guards in the program based on data flow in the program to guard against propagation failures during runtime where preconditions are violated or where the propagation is unlikely to return. The program is versioned into global versions including a hot path version and a cold path version, where the hot path version is expected to be executed if the values of variables in the code are expected types, and other exceptional cases are handled by the cold path version as triggered by the guards. Compiler optimizations are performed to remove redundant representations of values, and heavy overloading of operators to provide an optimized compiling of the code.

Growing community of inventors

Tokyo, Japan

Akihiko Tozawa