We extend the model for semi-structured data proposed in [4], where both databases and schemas are represented as graphs, with the possibility of expresing different types of constraints on the nodes of the graphs, and defining queries which are used to select graphs from a database. We show that reasoning tasks at the basis of query optimization, such as schema subsumption, query-schema comparison, query containment, and query satisfiability, are decidable.
展开▼
