Omgivningslogiken är en modal logik som föreslås för att beskriva de strukturella och beräkningsmässiga egenskaperna hos distribuerade och mobila beräkningar. Den strukturella delen av den omgivande logiken är i huvudsak en logik av märkta träd, därför visar det sig vara en bra grund för frågespråk för halvstrukturerade data, mycket på samma sätt som första ordningens logik är en lämplig grund för relationsspråk. Vi definierar här ett frågespråk för halvstrukturerade data som baseras på den omgivande logiken, och vi skisserar en utförandemodell för detta språk. Språket visar sig vara ganska uttrycksfullt. Dess starka grundvalar och de motsvarigheter som finns i den omgivande logiken är till hjälp vid definitionen av språksemantik och utförandemodell.
TQL REF är ett frågespråk för halvstrukturerade data baserat på den omgivande logiken som kan användas för att fråga XML-filer.
TQL : A Query Language for Semistructured Data Based on the Ambient Logic
{'venue': 'ICDT', 'journal': None, 'mag_field_of_study': ['Computer Science']}