Two Part Proof Schema for Database Concurrency Control.
Philip A. BernsteinNathan GoodmanMing-Yee LaiPublished in: Berkeley Workshop (1981)
Keyphrases
- database concurrency control
- databases
- database schema
- theorem prover
- xml schema
- data model
- theorem proving
- database schemata
- database views
- data mining
- schema evolution
- machine learning
- complete axiomatization
- semantically enriched
- information retrieval
- instance level
- linear logic
- conceptual schema
- xml data
- xpath queries
- semistructured data
- learning algorithm
- social networks
- e learning
- website
- hierarchical structure