Horton+ är ett diagram frågebehandlingssystem som utför deklarativa åtkomstfrågor på en partitionerad tilldelad multi-graf. Den använder ett frågespråk, frågeoptimering och en distribuerad exekvering motor. Frågespråket uttrycker deklarativa åtkomstfrågor, och stöder stängningar och bygger på nod- och kantattribut för att matcha grafsökvägar. Vi introducerar tre algebraiska operatörer, väljer, korsar, och gå, och en fråga sammanställs i en genomförandeplan som innehåller dessa operatörer. Eftersom nåbarhetsförfrågningar får tillgång till grafelementen i ett slumpmässigt åtkomstmönster, bibehålls grafen därför i huvudminnet för ett kluster av servrar för att minska körningstiden för frågor. Vi utvecklar en distribuerad exekveringsmotor som behandlar en frågeplan parallellt på grafservrarna. Eftersom frågespråket är deklarativt, bygger vi en frågeoptimerare som använder grafstatistik för att uppskatta predikat selektivitet. Vi utvärderar systemets prestanda experimentellt på ett kluster av 16 grafservrar med hjälp av syntetiska grafer samt en verklig graf från ett program som använder åtkomstfrågor. Utvärderingen visar 1) optimatorns effektivitet när det gäller att minska tiden för frågeutförande, 2) systemets skalbarhet med grafens storlek och med antalet servrar, och 3) bekvämligheten av att använda deklarativa frågor.
Horton+ REF löser åtkomstfrågor över stora tilldelade multi-grafer.
Horton+: A Distributed System for Processing Declarative Reachability Queries over Partitioned Graphs
{'venue': 'PVLDB', 'journal': 'PVLDB', 'mag_field_of_study': ['Computer Science']}