Describing and Verifying Integrity Constraints in XML Using OCL.
Jakub MalýMartin NecaskýPublished in: ICWS (2012)
Keyphrases
- integrity constraints
- xml documents
- xml schema
- constraint language
- uml diagrams
- deductive databases
- xml data
- xml queries
- functional dependencies
- integrity checking
- query answering
- xml databases
- database schema
- database integrity
- conceptual schema
- inclusion dependencies
- regular expressions
- conjunctive queries
- constraint checking
- metadata
- relational databases
- relational data
- semantic query optimization
- metamodel
- data model
- database transactions
- xpath queries
- data exchange
- sql queries
- data integration
- data management
- databases
- relational database systems
- object oriented databases
- normal form
- consistent query answering