Keyphrases
- update semantics
- database updates
- logic programming
- view update
- semantic information
- answer set programming
- incremental view maintenance
- logical language
- operational semantics
- semantic representation
- formal semantics
- default reasoning
- real time
- conceptual model
- multiple views
- data integration
- domain knowledge
- relational databases
- information systems
- databases