Ontology-based Verification and Validation of Federated Database Systems.
Nayyer MasoodBarry EaglestonePublished in: EUROVAV (1999)
Keyphrases
- database systems
- federated databases
- database
- query optimization
- model checking
- relational database systems
- digital libraries
- data management
- data model
- database management systems
- databases
- database technology
- data types
- formal analysis
- face verification
- semantic web technologies
- database design
- distributed systems
- domain specific
- query processing
- database applications
- data structure
- federated search
- asynchronous circuits
- multilevel secure
- verification method
- concurrency control
- formal verification
- artificial intelligence
- concurrent systems
- false acceptance rate