Applying Data Abstraction to XML Formal Designs.
María-del-Mar GallardoJesús MartínezPedro MerinoErnesto PimentelPublished in: SNPD (2003)
Keyphrases
- data abstraction
- formal specification
- object oriented databases
- abstract data types
- object oriented
- database management
- conceptual modelling
- xml documents
- data types
- conceptual modeling
- programming language
- data model
- xml data
- relational database systems
- metadata
- general purpose
- model checking
- relational databases
- databases
- database
- database design
- data exchange
- xml schema
- query language
- domain knowledge
- spatio temporal
- case study
- conceptual schema
- information systems