In this paper, we define formally the XML-Lambda Query Language, a query language for XML, that employs the functional data model. This research brought in the key idea of a func- tional query processing with a wide potential that was later proven by a simple prototype implementation.