Abstract | ||
---|---|---|
XML documents and, more generally, semistructured data, can be seen as labelled graphs. In this paper we set a correspondence between such graphs and the models of a lan- guage of hybrid multimodal logic. This allows us to characterize a schema for semistructured data as a formula of hybrid multimodal logic, and instances of the schema (data graphs) as models of this formula. We also investigate how to express in such a logic integrity constraints on semistructured data, in particular some classes of constraints widely considered in the liter- ature. The contribution of this work is twofold: |
Year | DOI | Venue |
---|---|---|
2004 | 10.3166/jancl.14.447-475 | Journal of Applied Non-Classical Logics |
Keywords | DocType | Volume |
schema,integrity constraints,semistructured data,database,multimodal and hy- brid logic. | Journal | 14 |
Issue | Citations | PageRank |
4 | 12 | 0.65 |
References | Authors | |
16 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nicole Bidoit | 1 | 642 | 236.48 |
Serenella Cerrito | 2 | 139 | 13.72 |
Virginie Thion | 3 | 14 | 3.04 |