Declarative expression of deductive database updates
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Updating databases in the weak instance model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Efficient updates to independent schemes in the weak instance model
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Integrating object-oriented data modelling with a rule-based programming paradigm
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Heraclitus: elevating deltas to be first-class citizens in a database programming language
ACM Transactions on Database Systems (TODS)
Abductive Knowledge Base Updates for Contextual Reasoning
Journal of Intelligent Information Systems
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Maximal state independent approximations to minimal real change
Annals of Mathematics and Artificial Intelligence
Deduction Trees and the View Update Problem in Indefinite Deductive Databases
Journal of Automated Reasoning
Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning
IEEE Transactions on Knowledge and Data Engineering
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Updates in a Rule-Based Language for Objects
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
On Implementing a Language for Specifying Active Database Execution Models
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Maximal Expansions of Database Updates
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Monotone Expansion of Updates in Logical Databases
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
On Complexity of Updates through Integrity Constraints
CL '00 Proceedings of the First International Conference on Computational Logic
On the abductive or deductive nature of database schema validation and update processing problems
Theory and Practice of Logic Programming
On the expressive power of update primitives
Proceedings of the 32nd symposium on Principles of database systems
Hi-index | 0.00 |
We consider the main features of updates in databases. Recent results on updates are briefly described and used to raise various questions. It is argued that well-accepted query properties like safety and determinism should not be strictly enforced in the context of updates. The issue of declarative versus procedural update languages is also addressed. Finally, update-based database specifications are considered and compared to more traditional approaches.