Coping with Complexity in Automated Reasoning about Database Systems.
Tim SheardDavid W. StemplePublished in: VLDB (1985)
Keyphrases
- database systems
- database
- computational complexity
- formal theory
- semi automated
- data model
- databases
- qualitative reasoning
- spatial reasoning
- database technology
- decision problems
- database design
- query optimization
- data management
- case study
- database management systems
- database applications
- worst case
- management system
- semi automatic
- data types
- computational cost
- concurrency control
- query processing
- fully automated
- relational database systems
- expert systems
- bayesian networks
- decision making