Detta dokument beskriver ett algebraiskt förhållningssätt till delningsanalys av logiska program baserat på en abstrakt domän av set logiska program. Set logiska program är logiska program där termerna är uppsättningar av variabler och unikation bygger på en associativ, pendlande och idempotent jämställdhetsteori. Alla de grundläggande åtgärder som krävs för att dela analyser, liksom deras formella rättfärdigande, är baserade på enkla algebraiska egenskaper av setsubstitutioner och set-baserade atomer. En beställning på set-baserade syntaktiska objekt, liknande \less general" på konkreta syntaktiska objekt, visas för att reektera begreppet \less sharing" information. Den (abstrakta) unicationen av ett par av set-baserade termer motsvarar nding deras mest allmänna ACI1 uni er med avseende på denna beställning. En katjon av en uppsättning ekvationer mellan set-baserade termer bestäms exakt som i det konkreta fallet, genom att lösa ekvationerna en efter en och upprepade gånger tillämpa sina lösningar på de återstående ekvationerna. Vi visar att all verksamhet i en delningsanalys har naturliga egenskaper som är både korrekta och optimala.
Codish m.fl. REF beskriver ett algebraiskt förhållningssätt till delningsanalysen av logiska program som baseras på inställda logiska program.
An Algebraic Approach to Sharing Analysis of Logic Programs
{'venue': 'Journal of Logic Programming', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}