Correctness of Semantic Integrity Checking in Database Management Systems.
Elisa BertinoDaniela MustoPublished in: Acta Informatica (1988)
Keyphrases
- database management systems
- integrity checking
- integrity constraints
- data management
- database applications
- deductive databases
- hard and soft constraints
- management system
- database
- data model
- database systems
- data storage
- data types
- main memory
- database technology
- relational database systems
- constraint logic programming
- concurrency control
- natural language
- index structure
- data management systems
- database operations
- distributed database systems
- transaction processing
- database design
- transaction management
- concurrent transactions
- high level
- relational databases
- database server
- object oriented database systems
- data analysis