Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach.
Marilisa E. CarboniV. FoddaiFosca GiannottiDino PedreschiPublished in: GULP-PRODE (1995)
Keyphrases
- databases
- database updates
- closed world assumptions
- database
- relational databases
- information systems
- knowledge discovery
- data integration
- declarative language
- database applications
- data model
- three dimensional
- high resolution
- compressed sensing
- knowledge base
- rule engine
- declarative semantics
- image reconstruction
- logic programming
- knowledge representation
- domain independent
- reconstruction method
- database systems
- discrete tomography
- truth maintenance systems
- neural network
- metadata
- frequent updates