Vi studerar strukturella egenskaper hos vart och ett av de viktigaste underspråken i navigerings XPath (W3c-rekommendation) som används i praktiken. För det första karakteriserar vi dessa språkfragments uttryckskraft både när det gäller logik och trädmönster. För det andra undersöker vi stängningsegenskaper, med fokus på förmågan att utföra grundläggande booleska operationer medan vi förblir inom fragmentet. Vi ger en fullständig bild av stängningsegenskaperna hos dessa fragment, behandlar XPath-uttryck både som funktioner av godtyckliga noder i ett dokumentträd, och som funktioner som endast tillämpas på roten av trädet. Slutligen tillhandahåller vi ljud och kompletta axiomsystem och normala former för flera av dessa fragment. Dessa resultat är användbara för förenkling av XPath uttryck och optimering av XML-frågor.
Karakteriseringar av den uttryckskraft av dessa språk i termer av både logik och trädmönster ges i REF.
Structural properties of XPath fragments
{'venue': 'Theor. Comput. Sci.', 'journal': 'Theor. Comput. Sci.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}