Semistructured databases; Model Checking

Applying Model-Checking to solve Queries on Semistructured Data

The large volume and nature of data available to the casual users and programs motivate the increasing interest of the database community in studying flexible and efficient techniques for extracting and querying semistructured data. On the other …