Verification Technology for Object-Oriented/XML Transactions.
Suad AlagicMark RoyerDavid BriggsPublished in: ICOODB (2009)
Keyphrases
- object oriented
- data model
- relational databases
- object oriented databases
- databases
- computer aided software engineering
- database
- case study
- metadata
- rapid development
- database technology
- xml schema
- database applications
- xml documents
- key technologies
- software engineering
- cost effective
- model checking
- object oriented programming
- database design
- xml data
- definition language
- markup language
- topic maps
- query language
- database systems
- data integration
- distributed database systems
- database schema
- information retrieval
- programming language
- semi structured