Optimieren von SPARQL-Abfragen in MarkLogic

Question

In vielen SPARQL-Systemen können Sie Ihre Abfragen optimieren, indem Sie die Tripel in einem Diagrammmuster neu anordnen. In anderen können Sie nicht (die Abfrage-Engine optimiert sie mit einigen eigenen Heuristiken).

In Jena können Sie Abfragen optimieren, indem Sie dreifache Muster setzen, die die Ergebnismenge in der Abfrage am meisten einschränken (und dabei immer zu erwähnen eine Variable, die bereits gebunden ist). In anderen Abfrage-Engines funktioniert diese Strategie nicht (da sie die Abfrage anders verarbeiten)

Offenbar ist Marklogic SPARQL empfindlich auf die Reihenfolge der Dreifachmuster (Ich habe einige Abfragen neu angeordnet und festgestellt, dass sie gehen werden schneller oder langsamer, bis zu 10x). Aber ich kann keinen Reim oder einen Grund dafür finden, welche Sequenzen schneller oder langsamer werden. Die Heuristiken, die ich erfolgreich mit Jena verwendet habe, funktionieren nicht mit MarkLogic.

Ich habe über die MarkLogic-Dokumentation gegooglet und habe keine Hinweise dazu gefunden. Haben irgendwelche MarkLogic-Engine-Writer Anmerkungen dazu gemacht?

Answer 1

Ich fragte unsere Experten für die PM- und Engineering-Teams in MarkLogic. Mir wurde gesagt, "Sie sollten die gleiche Leistung erzielen, egal welche Reihenfolge Sie für Muster haben, da wir einen ausgefeilten Abfrageoptimierer haben. Wenn das nicht stimmt, dann reichen Sie bitte einen Fehler ein." Es wäre auch nützlich zu wissen, welche spezifische Version von MarkLogic Sie verwenden, was optimization level und einige Beispielabfragen sind.

Answer 2

Die Optimierungsstufe gibt dem Optimierer einen Hinweis, wie viel Zeit es kostet, den besten Abfrageplan zu finden. Jeder Optimierer verbringt einige Zeit, um den besten Plan zu finden, muss aber die Zeit, die er damit verbracht hat, diesen Plan zu finden, gegen die Güte des bestmöglichen Plans abwägen. Die meisten von uns haben diesen Kompromiss im wirklichen Leben erlebt (!)

Optimierungslevel 1 sagt: "Arbeitet auf der Suche nach dem besten Plan, aber seid nicht verrückt". Level 2 sagt "tu mehr Arbeit, um den besten Plan zu finden". Level 0 sagt "nimm die Abfrage so wie sie ist".

Für die meisten Abfragen ist Level 1 geeignet, und das ist der Standardwert. Wenn Sie eine besonders komplexe Abfrage haben, versuchen Sie es mit Level 2 und sehen Sie, ob die zusätzliche Zeit, die Sie für die Suche nach einem Plan benötigen, um die Abfrage schneller zu machen, sich tatsächlich in der gesamten Abfragezeit auszahlt. Wenn Sie sehr einfache Abfragen haben, versuchen Sie es mit Level 0.