公开(公告)号：DE102013206281A1

公开(公告)日：2013-10-24

申请号：DE102013206281

申请日：2013-04-10

Applicant: IBM

Inventor： BHATTACHARJEE BISHWARANJAN ,  BORNEA MIHAELA ANCUTA ,  DANTRESSANGLE PATRICK ,  DOLBY JULIAN ,  SRINIVAS KAVITHA ,  UDREA OCTAVIAN

IPC: G06F17/30

Abstract: Verschiedene Ausführungsformen der Erfindung beziehen sich auf ein Optimieren einer Speicherung von schemalosen Daten. Es wird ein schemaloser Datensatz empfangen, der eine Vielzahl von Ressourcen aufweist. Jeder Ressource ist zumindest eine Vielzahl von Eigenschaften zugehörig. Es wird zumindest ein Satz von kookkurrierenden (gleichzeitig auftretenden) Eigenschaften von der Vielzahl von Eigenschaften gekennzeichnet. Es wird ein Graph erzeugt, der eine Vielzahl von Knoten beinhaltet. Jeder der Knoten stellt eine eindeutige Eigenschaft in dem Satz von kookkurrierenden Eigenschaften dar. Der Graph beinhaltet des Weiteren eine Kante, die jeden Knoten verbindet, der ein Paar kookkurrierender Eigenschaften darstellt. An dem Graphen wird eine Graphenfärbeoperation durchgeführt. Die Graphenfärbeoperation weist ein Zuweisen jedes Knotens zu einer Farbe auf, wobei Knoten, die durch eine Kante verbunden sind, unterschiedliche Farben zugewiesen werden. Es wird ein Schema erzeugt, das jeder eindeutigen Eigenschaft, die durch einen der Knoten in dem Graphen dargestellt wird, auf der Grundlage der Farbe, die dem Knoten zugewiesen worden ist, eine Spaltenkennung aus einer Tabelle zuweist.

公开(公告)号：DE102013206281B4

公开(公告)日：2022-07-07

申请号：DE102013206281

申请日：2013-04-10

Applicant: IBM

Inventor： BHATTACHARJEE BISHWARANJAN ,  BORNEA MIHAELA ANCUTA ,  DANTRESSANGLE PATRICK ,  DOLBY JULIAN ,  SRINIVAS KAVITHA ,  UDREA OCTAVIAN

IPC: G06F16/30 ,  G06F16/00

Abstract: Computerimplementiertes Verfahren zum Optimieren einer Speicherung von schemalosen Daten in einem relationalen Datenspeichersystem, wobei das Verfahren aufweist:- Empfangen eines schemalosen Datensatzes, der eine Vielzahl von Ressourcen aufweist, wobei jeder Ressource in der Vielzahl von Ressourcen zumindest eine Vielzahl von Eigenschaften zugehörig ist;- Kennzeichnen zumindest eines Satzes von kookkurrierenden (gleichzeitig auftretenden) Eigenschaften von der Vielzahl von Eigenschaften für eine oder mehrere der Vielzahl von Ressourcen;- Erzeugen eines Graphen, der eine Vielzahl von Knoten aufweist, wobei jeder der Vielzahl von Knoten eine eindeutige Eigenschaft in dem zumindest einen Satz von kookkurrierenden Eigenschaften darstellt und wobei der Graph des Weiteren eine Kante aufweist, die jeden der Vielzahl von Knoten verbindet, der ein Paar von kookkurrierenden Eigenschaften in dem zumindest einen Satz von kookkurrierenden Eigenschaften darstellt;- Durchführen einer Graphenfärbeoperation an dem Graphen, wobei die Graphenfärbeoperation ein Zuweisen jedes der Vielzahl von Knoten zu einer Farbe aufweist, wobei Knoten, die durch eine Kante verbunden sind, unterschiedliche Farben zugewiesen werden; und- Erzeugen eines Speicherschemas, wobei das Speicherschema jeder eindeutigen Eigenschaft, die durch einen der Vielzahl von Knoten in dem Graphen dargestellt wird, auf der Grundlage der Farbe, die dem Knoten zugewiesen worden ist, eine Spaltenkennung aus einer Tabelle zuweist.- wobei das Verfahren des Weiteren aufweist:- Ermitteln einer Gesamtzahl von Farben, die der Vielzahl von Knoten in dem Graphen zugewiesen ist;- Vergleichen der Gesamtzahl von Farben mit einem ersten Schwellenwert, der eine Höchstzahl von Spalten kennzeichnet, die der Tabelle zugehörig sind;- Ermitteln, ob die Gesamtzahl von Farben größer als der erste Schwellenwert ist; und- beruhend darauf, dass die Gesamtzahl von Farben größer als der erste Schwellenwert ist, Entfernen von Knoten, die zumindest einem Satz von kookkurrierenden Eigenschaften zugehörig sind, aus dem Graphen.

公开(公告)号：GB2488065A

公开(公告)日：2012-08-15

申请号：GB201208454

申请日：2010-07-30

Applicant: IBM

Inventor： DOLBY JULIAN ,  TORLAK EMINA ,  VAZIRI MANDANA

IPC: G06F11/36

Abstract: A system and method for analyzing a test program (P) with respect to a memory model (M) includes preprocessing a test program into an intermediate form and translating (204) the intermediate form of the test program into a relational logic representation. The relational logic representation is combined (206) with a memory model to produce a legality formula. A set of bounds are computed (208) on a space to be searched for the memory model or on a core of the legality formula. A relational satisfiability problem is solved (212), which is defined by the legality formula and the set of bounds to determine a legal trace of the test program or debug the memory model.