A Modal Logical Approach for Developing XML Databases

Abstract

This paper investigates the possibility of realizing the core of an XML database system by a pure modal logical formalism providing query and constraint languages with well-defined syntax semantics and computational elements. The paper also introduces a domain-specific modal logic for XML documents which can be used to implement some of the basic services of an XML database.