Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach.
Marilisa E. CarboniFosca GiannottiV. FoddaiDino PedreschiPublished in: SEBD (1995)
Keyphrases
- databases
- closed world assumptions
- database updates
- knowledge discovery
- database
- relational databases
- logic programming
- image reconstruction
- knowledge representation
- modal logic
- metadata
- classical logic
- database applications
- information systems
- data management
- data warehouse
- database systems
- data integration
- three dimensional
- high level
- data model
- reconstruction error
- data retrieval
- automated reasoning
- discrete tomography
- truth maintenance systems
- expert systems