Identifying XML Schema Constraints Using Temporal Logic.
Ruifang ZhaoKe LiuHongli YangZongyan QiuPublished in: SETTA (2016)
Keyphrases
- temporal logic
- xml schema
- model checking
- automata theoretic
- dynamic constraints
- xml documents
- regular expressions
- integrity constraints
- conceptual model
- modal logic
- object oriented
- linear temporal logic
- data exchange
- relational databases
- belief revision
- computation tree logic
- relational schema
- verification method
- reactive systems
- transition systems
- metadata
- xml data
- databases
- schema mappings
- low level