Testing XML constraint satisfiability |
| |
Authors: | Nicole Bidoit Dario Colazzo |
| |
Affiliation: | aUniv Paris Sud, UMR CNRS 8623, Orsay F-91405, CNRS, Orsay F 91405 |
| |
Abstract: | In a previous paper, we have showed that Hybrid Modal Logic can be successfully used to model semistructured data and provides a simple and well suited formalism for capturing “well typed” references and of course a powerful language for expressing constraint. This paper builds on the previous one and provides a tableau proof technique for constraint satisfiability testing in the presence of schemas. |
| |
Keywords: | Database Semistructured data Integrity constraints Schema Multimodal and Hybrid logic |
本文献已被 ScienceDirect 等数据库收录! |