Abstract | ||
---|---|---|
Constraints can express important semantic information about the target XML repository. This information is utilised to model, store and process documents appropriately and more efficiently. In practice, it is challenging to single out the conditions that best capture the semantics of the application domain. Consequently, the task of identifying all relevant constraints is both crucial and difficult. We show how sample documents assist participants of the design process in making informed choices about the specification of Boolean constraints on XML documents. Indeed, the decision whether such a constraint should be specified explicitly is reduced to the problem whether there is any document in our XML sample collection that is relevant for the underlying application domain. Furthermore, we establish how off-the-shelf tools for solving problems in propositional logic can be used to generate the collection of our sample documents semi-automatically. ACM Classification: H.2.1. (Logical Design) Data Models, Schema and Subschemata; 1.2.6. (Learning) Knowledge Acquisition; F.4.1. (Mathematical Logic) Mechanical Theorem Proving |
Year | Venue | Field |
---|---|---|
2010 | JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY | Data mining,XML,Information retrieval,Computer science,XML validation,Document Structure Description,Decision support system,XML schema,Application domain,XML Schema Editor,cXML |
DocType | Volume | Issue |
Journal | 42 | 1 |
ISSN | Citations | PageRank |
1443-458X | 0 | 0.34 |
References | Authors | |
8 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sven Hartmann | 1 | 409 | 42.86 |
Sebastian Link | 2 | 462 | 39.59 |
Thu Trinh | 3 | 86 | 5.51 |