Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory
Alexander BorgidaHarry K. T. WongPublished in: VLDB (1981)
Keyphrases
- proof theory
- data manipulation
- relational algebra
- data model
- expressive power
- default reasoning
- databases
- relational model
- data processing
- query language
- proof theoretic
- automated reasoning
- database systems
- normal form
- relational database systems
- conceptual model
- reasoning problems
- data types
- data integration
- object oriented
- database
- database design
- statistical databases
- model theoretic
- default logic
- machine learning
- data complexity
- data sources
- nonmonotonic reasoning
- situation calculus
- knowledge representation
- first order logic