Deriving Consistency-preserving Transaction Specifications for (View-)Updates in Relational Databases.
Joan Antoni PastorPublished in: DAISD (1992)
Keyphrases
- relational databases
- update propagation
- xml views
- database
- view update
- update operations
- incremental view maintenance
- replicated databases
- data dependencies
- functional dependencies
- incremental maintenance
- view maintenance
- read only transactions
- relational model
- materialized views
- acid properties
- object oriented
- database transactions
- deductive databases
- transaction processing
- databases
- xml databases
- sql queries
- database schema
- keyword search
- data replication
- concurrency control
- relational data
- multiple views
- search engine
- relational database management systems
- update transactions
- cached data
- correctness criteria
- xml documents
- delay insensitive
- integrity constraints
- data access
- replicated data
- consistency checking
- formal specification
- specification language