71 results about "Description logic" patented technology

A data structure is disclosed. The data structure includes a data descriptor record. In turn, the data descriptor record includes a type field, a base address field, an offset field, wherein the, and a length field. The type field may be configured, for example, to indicate a data structure type. The data structure type may be configured to assume a values indicating one of a contiguous buffer, a scatter-gather list and a linked list structure, among other such data structures. The base address field may be configured, for example, to store a base address, with the base address being a starting address of a secondary data structure associated with the data descriptor record. The offset field may be configured, for example, to indicate a starting address of data within a secondary data structure pointed to by a base address stored in the base address field. The length field is configured to indicate a length of data stored in a secondary data structure pointed to by a base address stored in the base address field.

A method, system and computer program product for building decision diagrams efficiently in a structural network representation of a digital circuit using a dynamic resource constrained and interleaved depth-first-search and modified breadth-first-search schedule is disclosed. The method includes setting a first size limit for a first set of one or more m-ary decision representations describing a logic function and setting a second size limit for a second set of one or more m-ary decision representations describing a logic function. The first set of m-ary decision representations of the logic function is then built with one of the set of a depth-first technique or a breadth-first technique until the first size limit is reached, and a second set of m-ary decision representations of the logic function is built with the other technique until the second size limit is reached. In response to determining that a union of first set and the second set of m-ary decision representations do not describe the logic function, the first and second size limits are increased, and the steps of building the first and second set are repeated. In response to determining that the union of the first set of m-ary decision representations and the second set of m-ary decision representations describe the logic function, the union is reported.

A method, system and article of manufacture for managing relationships between database tables and, more particularly, for identifying and accurately describing relationships between tables in a database. One embodiment provides a method for identifying relationships between tables in a database. The method comprises receiving user input selecting a plurality of tables from the database. The plurality of tables is organized into a logical island defining a logical unit related to a particular logical entity. The method further comprises receiving user input identifying, for each of the plurality of tables, a table column containing information that identifies the particular logical entity in the table, whereby the identified table columns of different tables define logical relationships between the different tables in the logical island. On the basis of the identified table columns, relations specifications are created which describe the logical relationships between the different tables in the logical island.