LDM: A DTD Schema Mapping Language Based on Logic Patterns.
Xuhui LiYijun GuanMengchi LiuRui CaiMing ZhongTieyun QianPublished in: WAIM (2015)
Keyphrases
- schema mappings
- data exchange
- xml schema
- high level specifications
- relational schema
- database schema
- proof theory
- programming language
- query answering
- xml documents
- data integration
- logical equivalence
- logic programming
- data sets
- object oriented
- high level declarative
- modal logic
- natural language
- automated reasoning
- normal form
- classical logic
- schema matching
- regular expressions
- xml data
- logic programs
- case study